An Introduction to Gödel
The logic programming language Gödel is a new language with functionality and expressiveness similar to Prolog, but greatly improved declarative semantics compared with Prolog. Facilities provided by Gödel include types, meta-programming, control annotations, modules, and input/output. This paper is an introduction and tutorial for Gödel.
KeywordsNormal Form Ground Representation Computation Rule Logic Programming Language Language Declaration
Unable to display preview. Download preview PDF.
- Language Compatible Arithmetic Standard, ISO/IEC 10967:1991, March 1991. First Committee Draft (Version 3.1), JTC1/SC22/WG11 N229; X3T2 91–073.Google Scholar
- K.A. Bowen and R.A. Kowalski. Amalgamating language and metalanguage in logic programming. In K.L. Clark and S.-A. Tarnlund, editors, Logic Programming, pages 153–172. Academic Press, 1982.Google Scholar
- P. M. Hill. Typed logic programs and their completion. Technical Report 92.05, School of Computer Studies, 1992.Google Scholar
- P.M. Hill and J.W. Lloyd. Meta-programming for dynamic knowledge bases. Technical Report CS-88–18, Department of Computer Science, University of Bristol, 1988.Google Scholar
- P.M. Hill and J.W. Lloyd. Analysis of meta-programs. In H.D. Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 23–52. MIT Press, 1989. Proceedings of the Meta88 Workshop, June 1988.Google Scholar
- P.M. Hill and J.W. Lloyd. The Gödel report. Technical Report TR-91–02, Department of Computer Science, University of Bristol, 1991. Revised June 1992.Google Scholar
- P.M. Hill and R.W. Topor. A semantics for typed logic programs. In F. Pfenning, editor, Types in Logic Programming. MIT Press, 1992.Google Scholar
- H. Paley and P.M. Weichsel. Elements of Abstract and Linear Algebra. Holt, Rinehart and Winston, 1972.Google Scholar
- J. A. Thom and J. Zobel. Nu-prolog reference manual, version 1.3. Technical report, Machine Intelligence Project, Department of Computer Science, University of Melbourne, 1988.Google Scholar