Chuyển bộ gõ


Từ điển Máy Tính - Foldoc Dictionary
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: <[email protected]>

ports: MIPS-Ultrix

Mailing list: [email protected]

E-mail: Peter Van Roy <[email protected]>

Last updated: 1992-12-14




Giới thiệu VNDIC.net | Plugin từ diển cho Firefox | Từ điển cho Toolbar IE | Tra cứu nhanh cho IE | Vndic bookmarklet | Học từ vựng | Vndic trên web của bạn

© Copyright 2006-2024 VNDIC.NET & VDICT.CO all rights reserved.