Göodel Göodel is a declarative, general-purpose programming language in the family of logic programming languages. It is a strongly typed language, the type system being based on many-sorted logic with parametric polymorphism. It has a module system. Göodel supports infinite precision integers, infinite precision rationals, and also floating-point numbers. It can solve constraints over finite domains of integers and also linear rational constraints. It supports processing of finite sets. It also has a flexible computation rule and a pruning operator which generalises the commit of the concurrent logic programming languages. Considerable emphasis is placed on Gödel's meta- logical facilities which provide significant support for meta-programs that do analysis, transformation, compilation, verification, debugging, and so on.

Current Version:   1.4 License Type:   Free

Home Site: http://www.cs.bris.ac.uk/~bowers/goedel.html Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   Yes (from Home Site) Targeted Platforms: Binaries for Linux and SPARCstations. Software/Hardware Requirements: To compile from source, you need SICStus Prolog version 2.1#6 or later.

Other Links: None Mailing Lists/USENET News Groups: There is a mailing list for technical questions and general discussion. To subscribe, send email to goedel-users-request@cs.bris.ac.uk User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers