LIFE LIFE (Logic, Inheritance, Functions, and Equations) is an experimental programming language proposing to integrate three orthogonal programming paradigms proven useful for symbolic computation. From the programmer's standpoint, it may be perceived as a language taking after logic programming, functional programming, and object-oriented programming. From a formal perspective, it may be seen as an instance (or rather, a composition of three instances) of a Constraint Logic Programming scheme due to Hoehfeld and Smolka refining that of Jaffar and Lassez.

Current Version:   1.02 License Type:   Free

Home Site: http://www.isg.sfu.ca/life/ Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   No Targeted Platforms: Automated configuration has been tested on DEC Alpha, SunOS, Solaris, SGI IRIX. It is also known to work on Linux. Software/Hardware Requirements: None

Other Links: None Mailing Lists/USENET News Groups: life-users@cs.sfu.ca - users's information life-bugs@cs.sfu.ca - bug reports life-request@cs.sfu.ca - to subscribe tolife-users User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers