EXTENDED UNIFICATION ALGORITHMS FOR THE INTEGRATION OF FUNCTIONAL PROGRAMMING INTO LOGIC PROGRAMMING

被引：12

|

作者：

DINCBAS, M ^{[1
]}

VANHENTENRYCK, P ^{[1
]}

机构：

[1] EUROPEAN COMP RES CTR,D-8000 MUNCHEN 81,FED REP GER

来源：

JOURNAL OF LOGIC PROGRAMMING | 1987年 / 4卷 / 03期

关键词：

D O I：

10.1016/0743-1066(87)90002-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：199 / 227

页数：29

相关论文

共 50 条

[21] UNIFICATION MODULO AN EQUALITY THEORY FOR EQUATIONAL LOGIC PROGRAMMING
YOU, JH
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 42 (01) : 54 - 75
[22] A 2-LEVEL APPROACH TO LOGIC PLUS FUNCTIONAL PROGRAMMING INTEGRATION
BELLIA, M
BOSCO, PG
GIOVANNETTI, E
LEVI, G
MOISO, C
PALAMIDESSI, C
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 258 : 374 - 393
[23] FPL - FUNCTIONAL PLUS LOGIC PROGRAMMING - AN INTEGRATION OF THE FP AND PROLOG LANGUAGES
LICHTENSTEIN, N
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 287 - 294
[24] Programming in logic without logic programming
Kowalski, Robert
Sadri, Fariba
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 269 - 295
[25] Logic programming and constraint logic programming
Cohen, J
ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
[26] Iterative belief revision in extended logic programming
You, JH
Cartwright, R
Li, M
THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 383 - 406
[27] Compiling default theory into extended logic programming
Garcia, BB
Lopes, GP
Varejao, F
ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1952 : 207 - 216
[28] Extended multi-adjoint logic programming
Eugenia Cornejo, M.
Lobo, David
Medina, Jesus
FUZZY SETS AND SYSTEMS, 2020, 388 : 124 - 145
[29] Logic programming with typed unification and its realization on an abstract machine
Beierle, C., 1600, (36):
[30] LOGIC PROGRAMMING WITH TYPED UNIFICATION AND ITS REALIZATION ON AN ABSTRACT MACHINE
BEIERLE, C
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1992, 36 (03) : 375 - 390

← 1 2 3 4 5 →