goedel is a programming language created in 1994. Goedel is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book gives a tutorial overview of Goedel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.

26Years Old ?Users ?Jobs
  • goedel first appeared in 1994
  • Have a question about goedel not answered here? Email me and let me know how I can help.

Last updated August 9th, 2020

Edit goedel on GitHub