Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y  z 


Logic, Inheritance, Functions and Equations

parts: interpreter, manual, tests, libraries, examples

Paradise Project, DEC Paris Research Laboratory. - Wild_LIFE interpreter from Paradise project at DEC's Paris Research Lab

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.

A semantic superset of LOGIN and LeFun. Syntax is similar to prolog.

bugs: <>

ports: MIPS-Ultrix

Mailing list:

E-mail: Peter Van Roy <>


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2018