SFLP: a solver for functional logic programs

被引：0
|
作者：
Hamada, M [1 ]
Ida, T [1 ]
机构：
[1] Univ Aizu, Language Proc Lab, Aizu Wakamatsu, Japan
来源：
PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this work we give a full description of the SFLP system which is designed in Mathematica and based on the deterministic lazy conditional narrowing calculus LCNCd described in our previous work [4]. SFLP can be seen as a system that can be used in various ways such as an (easy to use) functional logic language interpreter, equational solver that extends Mathematica, solvers, and a research/educational tool for narrowing.
引用
收藏
页码：466 / 469
页数：4
相关论文
共 50 条
  • [1] GNT -: A solver for disjunctive logic programs
    Janhunen, T
    Niemelä, I
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 331 - 335
  • [2] eclingo : A Solver for Epistemic Logic Programs
    Cabalar, Pedro
    Fandinno, Jorge
    Garea, Javier
    Romero, Javier
    Schaub, Torsten
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (06) : 834 - 847
  • [3] From Logic to Functional Logic Programs
    Hanus, Michael
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [4] Separation Logic Verification of C Programs with an SMT Solver
    Botincan, Matko
    Parkinson, Matthew
    Schulte, Wolfram
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 254 : 5 - 23
  • [5] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
    DEBRAY, SK
    WARREN, DS
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
  • [6] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
    GILLUEZAS, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
  • [7] Correction of functional logic programs
    Alpuente, M
    Ballis, D
    Correa, FJ
    Falaschi, M
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 54 - 68
  • [8] 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
  • [9] Overlapping rules and logic variables in functional logic programs
    Antoy, Sergio
    Hanus, Michael
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 87 - 101
  • [10] From functional specifications to logic programs
    Gelfond, M
    Gabaldon, A
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 355 - 369
12345