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 条

[11] Specialization of lazy functional logic programs
Alpuente, M
Falaschi, M
Julian, P
Vidal, G
[J]. ACM SIGPLAN NOTICES, 1997, 32 (12) : 151 - 162
[12] Reporting Failures in Functional Logic Programs
Hanus, Michael
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 59 - 73
[13] Incremental learning of functional logic programs
Ferri-Ramírez, C
Hernández-Orallo, J
Quintana, MJR
[J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 233 - 247
[14] Transformation and debugging of functional logic programs
Alpuente, Maria
Ballis, Demis
Falaschi, Moreno
[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 271 - 299
[15] DERIVATION OF LOGIC PROGRAMS BY FUNCTIONAL METHODS
BIJLSMA, A
[J]. INFORMATION PROCESSING LETTERS, 1991, 39 (06) : 325 - 332
[16] Liberal Typing for Functional Logic Programs
Lopez-Fraguas, Francisco
Martin-Martin, Enrique
Rodriguez-Hortala, Juan
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 80 - 96
[17] Concolic Testing of Functional Logic Programs
Tikovsky, Jan Rasmus
[J]. DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 169 - 186
[18] Controlling search in functional logic programs
Hanus, M
Steiner, F
[J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 347 - 348
[19] Partial evaluation of functional logic programs
Alpuente, M
Falaschi, M
Vidal, G
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (04): : 768 - 844
[20] Proving failure in functional logic programs
López-Fraguas, FJ
Sánchez-Hernández, J
[J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 179 - 193

← 1 2 3 4 5 →