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.
- 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 February 18th, 2020