The Godel Programming Language Thelogicprogrammingapproachtocomputinginvestigatestheuseoflogicasaprogramminglanguageandexplorescomputationalmodelsbasedoncontrolleddeduction.Thefiel