Controlling search in functional logic programs

被引：0
|
作者：
Hanus, M [1 ]
Steiner, F [1 ]
机构：
[1] RWTH Aachen, D-52056 Aachen, Germany
来源：
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING | 1998年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：347 / 348
页数：2
相关论文
共 50 条
  • [1] From Logic to Functional Logic Programs
    Hanus, Michael
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [2] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
    DEBRAY, SK
    WARREN, DS
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
  • [3] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
    GILLUEZAS, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
  • [4] Correction of functional logic programs
    Alpuente, M
    Ballis, D
    Correa, FJ
    Falaschi, M
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 54 - 68
  • [5] From Functional Logic Programs to Purely Functional Programs Preserving Laziness
    Brassel, Bernd
    Fischer, Sebastian
    [J]. IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2011, 5836 : 25 - 42
  • [6] Overlapping rules and logic variables in functional logic programs
    Antoy, Sergio
    Hanus, Michael
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 87 - 101
  • [7] Learning Logic Programs by Discovering Where Not to Search
    Cropper, Andrew
    Hocquette, Celine
    [J]. THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 5, 2023, : 6289 - 6296
  • [8] Local search techniques for disjunctive logic programs
    Leone, N
    Perri, S
    Rullo, P
    [J]. AI(ASTERISK)IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 107 - 118
  • [9] From functional specifications to logic programs
    Gelfond, M
    Gabaldon, A
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 355 - 369
  • [10] Specialization of lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Julian, P
    Vidal, G
    [J]. ACM SIGPLAN NOTICES, 1997, 32 (12) : 151 - 162
12345