tool: Wild_LIFE
-
Language:
|
LIFE (Logic, Inheritance, Functions, and Equations)
|
|---|
-
Version:
|
first-release
|
|---|
-
Parts:
|
interpreter, manual, tests, libraries, examples
|
|---|
-
Author:
|
Paradise Project, DEC Paris Research Laboratory.
|
|---|
-
Location:
|
ftp://gatekeeper.dec.com/pub/plan/Life.tar.Z
|
|---|
-
Description:
|
LIFE is an experimental programming language with a
powerful facility for structured type inheritance. It
reconciles styles from functional programming, logic
programming, and object-oriented programming. LIFE
implements a constraint logic programming language with
equality (unification) and entailment (matching)
constraints over order-sorted feature terms. The
Wild_LIFE interpreter has a comfortable user interface
with incremental query extension ability. It contains
an extensive set of built-in operations as well as an X
Windows interface.
|
|---|
-
Conformance:
|
semantic superset of LOGIN and LeFun. Syntax is similar
to prolog.
|
|---|
-
Bugs:
|
life-bugs@prl.dec.com
|
|---|
-
Ports:
|
MIPS-Ultrix
|
|---|
-
Portability:
|
good in theory
|
|---|
-
Discussion:
|
life-request@prl.dec.com
|
|---|
-
Contact:
|
Peter Van Roy <vanroy@prl.dec.com>
|
|---|
-
Updated:
|
December 14th, 1992
|
|---|
category: functional languages
summary, or
expanded.
category: graphic user interface support
summary, or
expanded.
category: logic programming languages
summary, or
expanded.
|
|