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

被引：0

作者：

KOK, JN

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：401 / 413

页数：13

共 16 条

[1] CONTRIBUTIONS TO THE THEORY OF LOGIC PROGRAMMING [J].

APT, KR ;

VANEMDEN, MH .

[2] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG [J].

ARBAB, B ;

BERRY, DM .

JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04) :309-329

[3]

DEBAKKER JW, 1989, IN PRESS THEORETICAL

[4]

DEBAKKER JW, 1988, 5TH P GEN COMP SYST, P347

[5]

DEBOER FS, 1989, CSR89 CTR MATH COMP

[6]

DEBRAY SK, 1987, FORMAL DESCRIPTION P, V3, P245

[7]

DEBRUIN A, 1989, LECT NOTES COMPUT SC, V351, P178

[8]

HENNESSY M, 1979, LECTURE NOTES COMPUT, V74, P108

[9]

Jones N. D., 1984, 1984 International Symposium on Logic Programming (cat. no. 84CH2007-3), P281

[10]

KNIJNENBURG P, 1989, IN PRESS P CSN 89