Logic programming and constraint logic programming

被引:1
|
作者
Cohen, J
机构
关键词
D O I
10.1145/234313.234416
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
[No abstract available]
引用
收藏
页码:257 / 259
页数:3
相关论文
共 50 条
  • [1] CONSTRAINT LOGIC PROGRAMMING
    LASSEZ, C
    [J]. BYTE, 1987, 12 (09): : 171 - &
  • [2] CONSTRAINT LOGIC PROGRAMMING
    POUNTAIN, D
    [J]. BYTE, 1995, 20 (02): : 159 - 160
  • [3] Constraint logic programming
    Wallace, M
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 512 - 532
  • [4] Polynomial-time learning in logic programming and constraint logic programming
    Sebag, M
    Rouveirol, C
    [J]. INDUCTIVE LOGIC PROGRAMMING, 1997, 1314 : 105 - 126
  • [5] Temporal logic and annotated constraint logic programming
    Fruhwirth, T
    [J]. EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 58 - 68
  • [6] On integrating Constraint Logic Programming and Integer Programming
    Appa, G
    Mourtos, I
    Magos, D
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCI I, 2002, : 140 - 145
  • [7] Functional and constraint logic programming
    Rodríguez-Artalejo, M
    [J]. CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 202 - 270
  • [8] NEGATION AND CONSTRAINT LOGIC PROGRAMMING
    STUCKEY, PJ
    [J]. INFORMATION AND COMPUTATION, 1995, 118 (01) : 12 - 33
  • [9] CONSTRAINT LOGIC PROGRAMMING - A SURVEY
    JAFFAR, J
    MAHER, MJ
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 503 - 581
  • [10] Coinductive Constraint Logic Programming
    Saeedloei, Neda
    Gupta, Gopal
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 243 - 259