TOWARDS A MEANING OF LIFE

被引：52

作者：

AITKACI, H ^{[1
]}

PODELSKI, A ^{[1
]}

机构：

[1] DIGITAL EQUIPMENT CORP,PARIS RES LAB,F-92563 RUEIL MALMAISON,FRANCE

来源：

JOURNAL OF LOGIC PROGRAMMING | 1993年 / 16卷 / 3-4期

关键词：

Computational methods - Constraint theory - Data structures - Logic programming - Object oriented programming;

D O I：

10.1016/0743-1066(93)90043-G

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

LIFE 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 Hohfeld and Smolka refining that of Jaffar and Lassez. We start with an informal overview demonstrating LIFE as a programming language, illustrating how its primitives offer rather unusual, and perhaps (pleasantly) startling, conveniences. The second part is a formal account of LIFE's object unification seen as constraint-solving over specific domains. We build on work by Smolka and Rounds to develop type-theoretic, logical, and algebraic renditions of a calculus of order-sorted feature approximations.

引用

页码：195 / 234

页数：40

共 18 条

[1] Ait-Kaci H., 1989, LISP and Symbolic Computation, V2, P51, DOI 10.1007/BF01806313
[2] LOGIN - A LOGIC PROGRAMMING LANGUAGE WITH BUILT-IN INHERITANCE
AITKACI, H
NASR, R
[J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03): : 185 - 215
[3] AN ALGEBRAIC SEMANTICS APPROACH TO THE EFFECTIVE RESOLUTION OF TYPE EQUATIONS
AITKACI, H
[J]. THEORETICAL COMPUTER SCIENCE, 1986, 45 (03) : 293 - 351
[4] AITKACI H, 1992, FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2, P1012
[5] AITKACI H, 1991, LECT NOTES COMPUT SC, V528, P255
[6] AITKACI H, 1993, ORDER SORTED FEATURE
[7] AITKACI H, 1984, THESIS U PENNSYLVANI
[8] AITKACI H, 1993, IN PRESS LABEL SELEC
[9] AITKACI H, 1992, 1 DIG EQ CORP PAR RE
[10] AITKACI H, 1993, IN PRESS WILD LIFE U

← 1 2 →