The Godel Programming Language
Thelogicprogrammingapproachtocomputinginvestigatestheuseoflogicasaprogramminglanguageandexplorescomputationalmodelsbasedoncontrolleddeduction.Thefieldoflogicprogramminghasseenatremendousgrowthinthelastseveralyears,bothindepthandinscope.Thisgrowthisreflectedinthenumberofartic
暂无评论