Word:

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_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: life-request@prl.dec.com

E-mail: Peter Van Roy
Browse
wild thyme
wild tobacco
Wild turkey
wild vanilla
wild water lemon
Wild West
Wild West Show
wild wheat
wild wilkworm
wild winterpea
Wild woad
wild yam
wild yellow lily
Wild-cat
wild-eyed
wild-goose chase
-- Wild_LIFE --
wildcat
wildcat strike
wildcat well
wildcatter
Wilde
wilde dagga
Wildebeest
Wilded
Wilder
Wildering
Wilderment
Wilderness
Wilderness Campaign
Wildfire
wildflower
wildfowl
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home - Privacy Policy