CONSTRAINT LOGIC PROGRAMMING-LANGUAGES

被引：88
|
作者：
COHEN, J
机构：
[1] Brandeis Univ., Waltham, MA
来源：
COMMUNICATIONS OF THE ACM | 1990年 / 33卷 / 07期
关键词：
D O I：
10.1145/79204.79209
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Constraint Logic Programming 1990 is an extension of Logic Programming aimed at replacing the pattern matching mechanism of unification, as used in Prolog, by a more general operation called constraint satisfaction. This aritcle provides a panoramic view of the recent work done in designing and implementing CLP languages. It also presents a summary of their theoretical foundations, discusses implementation issues, compares the major CLP languages, and suggests directions for further work. © 1990, ACM. All rights reserved.
引用
收藏
页码：52 / 68
页数：17
相关论文
共 50 条
  • [1] EXPANDING QUERY POWER IN CONSTRAINT LOGIC PROGRAMMING-LANGUAGES
    MAHER, MJ
    STUCKEY, PJ
    [J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 20 - 36
  • [2] PARALLEL LOGIC PROGRAMMING-LANGUAGES
    TAKEUCHI, A
    FURUKAWA, K
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 242 - 254
  • [3] ON THE SEMANTICS OF LOGIC PROGRAMMING-LANGUAGES
    MARTELLI, A
    ROSSI, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 327 - 334
  • [4] PARTIAL EVALUATION OF PATTERN-MATCHING IN CONSTRAINT LOGIC PROGRAMMING-LANGUAGES
    SMITH, DA
    [J]. SIGPLAN NOTICES, 1991, 26 (09): : 62 - 71
  • [5] IMPROVING THE EFFICIENCY OF CONSTRAINT LOGIC PROGRAMMING-LANGUAGES BY DERIVING SPECIALIZED VERSIONS
    BRUYNOOGHE, M
    DUMORTIER, V
    JANSSENS, G
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 309 - 317
  • [6] THE DEEVOLUTION OF CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    TICK, E
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1995, 23 (02): : 89 - 123
  • [7] OBJECTS IN CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    KAHN, K
    TRIBBLE, ED
    MILLER, MS
    BOBROW, DG
    [J]. SIGPLAN NOTICES, 1986, 21 (11): : 242 - 257
  • [8] OBJECTS IN CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    KAHN, K
    TRIBBLE, ED
    MILLER, MS
    BOBROW, DC
    [J]. SIGPLAN NOTICES, 1986, 21 (10): : 29 - 38
  • [9] THE FAMILY OF CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    SHAPIRO, E
    [J]. COMPUTING SURVEYS, 1989, 21 (03) : 412 - 510
  • [10] DETERMINACY TESTING FOR NONDETERMINATE LOGIC PROGRAMMING-LANGUAGES
    TICK, E
    KORSLOOT, M
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (01): : 3 - 34
12345