Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


You are here: irt.org | FOLDOC | Goedel

<language> (After the mathematician Kurt Gödel) A declarative, general-purpose language for artificial intelligence based on logic programming. It can be regarded as a successor to Prolog. The type system is based on many-sorted logic with parametric polymorphism. Modularity is supported, as well as infinite precision arithmetic and finite sets.

Goedel has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, and debugging.

A significant subset of Goedel has been implemented on top of SISCtus Prolog by Jiwei Wang <jiwei@lapu.bristol.ac.uk>.

FTP Bristol, UK (ftp://ftp.cs.bris.ac.uk/goedel), FTP K U Leuven (ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel).

E-mail: <goedel@compsci.bristol.ac.uk>.


Nearby terms: GObject Introspection « Godwin's Law « Godzillagram « Goedel » go-faster stripes » Gofer » Goffin

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb