Transformation Rules and Strategies for Functional-Logic Programs

被引：0
|
作者：
Moreno, Ginés [1 ]
机构：
[1] Departamento de Informática, UCLM, 02071 Albacete, Spain
来源：
AI Communications | 2002年 / 15卷 / 02期
关键词：
Functional logic programming;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：163 / 165
相关论文
共 50 条
  • [41] TRANSFORMATION ALGORITHM FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS.
    Togashi, Atsushi
    Noguchi, Syoichi
    Systems, computers, controls, 1984, 15 (05): : 52 - 60
  • [42] Rules as actions: A situation calculus semantics for logic programs
    Lin, FZ
    Reiter, R
    JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 299 - 330
  • [43] Termination of logic programs for various dynamic selection rules
    Smaus, JG
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 511 - 512
  • [44] From functional specifications to logic programs
    Gelfond, M
    Gabaldon, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 355 - 369
  • [45] Monadic logic programs and functional complexity
    Universidade do Porto, Porto, Portugal
    Theor Comput Sci, 1-2 (175-204):
  • [46] Specialization of lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Julian, P
    Vidal, G
    ACM SIGPLAN NOTICES, 1997, 32 (12) : 151 - 162
  • [47] Reporting Failures in Functional Logic Programs
    Hanus, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 59 - 73
  • [48] Incremental learning of functional logic programs
    Ferri-Ramírez, C
    Hernández-Orallo, J
    Quintana, MJR
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 233 - 247
  • [49] SFLP: a solver for functional logic programs
    Hamada, M
    Ida, T
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 466 - 469
  • [50] DERIVATION OF LOGIC PROGRAMS BY FUNCTIONAL METHODS
    BIJLSMA, A
    INFORMATION PROCESSING LETTERS, 1991, 39 (06) : 325 - 332
12345