The Godel Programming Language

Thelogicprogrammingapproachtocomputinginvestigatestheuseoflogicasapro­gramminglanguageandexplorescomputationalmodelsbasedoncontrolleddeduction.Thefieldoflogicprogramminghasseenatremendousgrowthinthelastseveralyears,bothindepthandinscope.Thisgrowthisreflectedinthenumberofartic