From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited

被引：2
|
作者：
Narboni G.A. [1 ]
机构：
[1] Implexe - Oper. Intell. for Industry, Marseille
来源：
Constraints | 1999年 / 4卷 / 4期
关键词：
Constraint-directed search; Interval computations; Logic programming; Mathematical programming;
D O I：
10.1023/A:1009816922431
中图分类号：
学科分类号：
摘要：
Constraint programming languages stem from the integration of constraints in conditional rules. By taking a close look at the design choices made for Prolog IV, the author retraces the general evolution of this recent and novel paradigm, from its roots in inference systems and optimization, to its applications in model building and problem solving.
引用
收藏
页码：313 / 335
页数：22
相关论文
共 50 条
  • [31] EFFICIENT PROLOG PROGRAMMING
    KNUUTILA, T
    SOFTWARE-PRACTICE & EXPERIENCE, 1992, 22 (03): : 209 - 221
  • [32] PROLOG FOR APPLICATIONS PROGRAMMING
    WILSON, WG
    IBM SYSTEMS JOURNAL, 1986, 25 (02) : 190 - 206
  • [33] The Realization of Naive Bayes Algorithm in the Logic Programming Framework PROLOG
    Malov, Alexei
    Rodionov, Sergey
    Kholod, Ivan
    PROCEEDINGS OF THE 2016 IEEE NORTH WEST RUSSIA SECTION YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING CONFERENCE (ELCONRUSNW), 2016, : 273 - 276
  • [34] Analysis and diagnosis of logic circuits using programming language PROLOG
    Lyulkin, AE
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1997, (04): : 42 - 51
  • [35] QU-PROLOG - AN EXTENDED PROLOG FOR META LEVEL PROGRAMMING
    STAPLES, J
    ROBINSON, PJ
    PATERSON, RA
    HAGEN, RA
    CRADDOCK, AJ
    WALLIS, PC
    META-PROGRAMMING IN LOGIC PROGRAMMING, 1989, : 435 - 452
  • [36] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
    EDDBALI, A
    DERANSART, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
  • [37] HIGH-PERFORMANCE LOGIC PROGRAMMING WITH THE AQUARIUS PROLOG COMPILER
    VANROY, P
    DESPAIN, AM
    COMPUTER, 1992, 25 (01) : 54 - 68
  • [38] Analysis and diagnosis of logic circuits using programming language PROLOG
    Lyul'kin, A.E.
    Avtomatika i Vychislitel'naya Tekhnika, (04): : 42 - 51
  • [39] TOKIO - LOGIC PROGRAMMING LANGUAGE BASED ON TEMPORAL LOGIC AND ITS COMPILATION TO PROLOG
    FUJITA, M
    KONO, S
    TANAKA, H
    MOTOOKA, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 695 - 709
  • [40] TOWARD INTEGRATING IMPERATIVE AND LOGIC PROGRAMMING PARADIGMS - A WYSIWYG APPROACH TO PROLOG PROGRAMMING
    DELRIEUX, C
    AZERO, P
    TOHME, F
    SIGPLAN NOTICES, 1991, 26 (03): : 35 - 44
12345