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.
|
|