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

category: logic programming languages summary, or expanded.