SPECIALIZATION IN LOGIC PROGRAMMING - FROM HORN CLAUSE LOGIC TO PROLOG AND CONCURRENT PROLOG

被引：0

|

作者：

KOK, JN

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：401 / 413

页数：13

相关论文

共 50 条

[1] LOGIC PROGRAMMING IN PROLOG
GOODALL, A
DATA PROCESSING, 1984, 26 (02): : 37 - &
[2] LOGIC PROGRAMMING AND PROLOG - A TUTORIAL
DAVIS, RE
IEEE SOFTWARE, 1985, 2 (05) : 53 - 62
[3] From Prolog III to Prolog IV: The logic of constraint programming revisited
Narboni, Guy A.
Constraints, 1999, 4 (04): : 313 - 335
[4] From Prolog III to Prolog IV: The Logic of Constraint Programming Revisited
Narboni G.A.
Constraints, 1999, 4 (4) : 313 - 335
[5] Prolog: Logic based programming
Barth, Gerhard
IT - Information Technology, 1987, 29 (04): : 217 - 226
[6] PROLOG - A LANGUAGE FOR PROGRAMMING MEDICAL LOGIC
SHIFMAN, M
JELOVSEK, FR
M D COMPUTING, 1988, 5 (02): : 36 - &
[7] Logic programming and the execution model of Prolog
Tamir, DE
Kandel, A
INFORMATION SCIENCES-APPLICATIONS, 1995, 4 (03): : 167 - 191
[8] LOGIC AND PROLOG
BUTRICK, D
DR DOBBS JOURNAL, 1987, 12 (01): : 14 - &
[9] A PARALLEL LOGIC SIMULATOR BASED ON CONCURRENT PROLOG
NODA, Y
KINOSHITA, T
OKUMURA, A
HIRANO, T
HIRUTA, T
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 256 - 265
[10] PROGRAMMING IN MODAL LOGIC - AN EXTENSION OF PROLOG BASED ON MODAL LOGIC
SAKAKIBARA, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 264 : 81 - 91

← 1 2 3 4 5 →