Wild_LIFE

Logic, Inheritance, Functions and Equations

parts: interpreter, manual, tests, libraries, examples

Paradise Project, DEC Paris Research Laboratory.

ftp://gatekeeper.dec.com/pub/plan/Life.tar.Z - Wild_LIFEinterpreter from Paradise project at DEC's Paris Research Lab

LIFE is an experimental programming language with a powerfulfacility for structured type inheritance. It reconcilesstyles from functional programming, logic programming, andobject-oriented programming. LIFE implements a constraintlogic programming language with equality (unification) andentailment (matching) constraints over order-sorted featureterms. The Wild_LIFE interpreter has a comfortable userinterface with incremental query extension ability. Itcontains an extensive set of built-in operations as well as anX Windows interface.

A semantic superset of LOGIN and LeFun. Syntax is similar toprolog.

bugs:

ports: MIPS-Ultrix

Mailing list: life-request@prl.dec.com

E-mail: Peter Van Roy

单词	wild_life
释义	Wild_LIFE Wild_LIFE Logic, Inheritance, Functions and Equations parts: interpreter, manual, tests, libraries, examples Paradise Project, DEC Paris Research Laboratory. ftp://gatekeeper.dec.com/pub/plan/Life.tar.Z - Wild_LIFEinterpreter from Paradise project at DEC's Paris Research Lab LIFE is an experimental programming language with a powerfulfacility for structured type inheritance. It reconcilesstyles from functional programming, logic programming, andobject-oriented programming. LIFE implements a constraintlogic programming language with equality (unification) andentailment (matching) constraints over order-sorted featureterms. The Wild_LIFE interpreter has a comfortable userinterface with incremental query extension ability. Itcontains an extensive set of built-in operations as well as anX Windows interface. A semantic superset of LOGIN and LeFun. Syntax is similar toprolog. bugs: ports: MIPS-Ultrix Mailing list: life-request@prl.dec.com E-mail: Peter Van Roy
随便看	air support signal unit air support squadron air support team air support to regular operations air support unit air supremacy airsupreq airsupresp air surface action group air & surface maneuvering module air surface missile defense air & surface transport nurses association air surface zone air surveillance air surveillance and control system air surveillance and precision approach radar and control system air surveillance and range system air surveillance area air surveillance officer air surveillance operator air surveillance plotting board air surveillance radar air surveillance technician air survey air survey camera