tool: Goedel


Language:
Goedel
Version:
1.4
Parts:
book, compiler, user manual, system modules, example programs
Author:
Jiwei Wang <jiwei@lapu.bristol.ac.uk>
Location:
ftp://ftp.cs.kuleuven.ac.be/pub/logic-prgm/goedel/README ftp://ftp.cs.bris.ac.uk/goedel/README both contain further pointers.
Description:
An implementation of a significant subset of Goedel. Goedel is a declarative, general-purpose strongly-typed logic programming language. The type system is based on many-sorted logic with parametric polymorphism. Modularity is supported, as well as infinite precision arithmetic, limited constraint satisfaction, and finite sets.
Reference:
The Goedel Programming Language, P.M. Hill & J.W. Lloyd, MIT Press, 1994, ISBN 0-262-08229-2.
Requires:
SICStus Prolog version 2.1 #6 (or later). Run time system for SPARCstation provided, though.
Status:
underging continuing development
Contact:
goedel@compsci.bristol.ac.uk
Updated:
May 16th, 1994

Related Items

category: logic programming languages summary, or expanded.


This site is supported by David Sharnoff and Bryan Miller with some help from Google Adwords.

Please send updates to free-compilers@sharnoff.org

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved
Copyright (c) 1999-2010 David Muir Sharnoff, Bryan Miller, All Rights Reserved