FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS

被引：36
|
作者：
DEBRAY, SK [1 ]
WARREN, DS [1 ]
机构：
[1] SUNY STONY BROOK,DEPT COMP SCI,STONY BROOK,NY 11794
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1989年 / 11卷 / 03期
关键词：
D O I：
10.1145/65979.65984
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：451 / 481
页数：31
相关论文
共 50 条
  • [1] DATAFLOW PROGRAMS FOR PARALLEL COMPUTATIONS OF LOGIC PROGRAMS AND THEIR SEMANTICS
    YAMASAKI, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 366 : 104 - 114
  • [2] Observing functional logic computations
    Brassel, B
    Chitil, O
    Hanus, M
    Huch, F
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2004, 3057 : 193 - 208
  • [3] On termination of logic programs with floating point computations
    Serebrenik, A
    De Schreye, D
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 151 - 164
  • [4] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    [J]. TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 75 - 123
  • [5] NORMAL FORMS AND THE COMPLEXITY OF COMPUTATIONS OF LOGIC PROGRAMS
    OCHOZKA, V
    STEPANKOVA, O
    STEPANEK, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 357 - 371
  • [6] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 75 - 123
  • [7] Qualified Computations in Functional Logic Programming
    Caballero, Rafael
    Rodriguez-Artalejo, Mario
    Romero-Diaz, Carlos A.
    [J]. LOGIC PROGRAMMING, 2009, 5649 : 449 - 463
  • [8] A virtual machine for functional logic computations
    Antoy, S
    Hanus, M
    Liu, JM
    Tolmach, A
    [J]. IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2005, 3474 : 108 - 125
  • [9] From Logic to Functional Logic Programs
    Hanus, Michael
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [10] Logic programs with abstract constraint atoms: The role of computations
    Liu, Lengning
    Pontelli, Enrico
    Son, Tran Cao
    Truszczynski, Miroslaw
    [J]. ARTIFICIAL INTELLIGENCE, 2010, 174 (3-4) : 295 - 315
12345