A PROLOG TECHNOLOGY THEOREM PROVER - IMPLEMENTATION BY AN EXTENDED PROLOG COMPILER

被引：0

|

作者：

STICKEL, ME

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：572 / 587

页数：16

相关论文

共 50 条

[1] A PROLOG TECHNOLOGY THEOREM PROVER - A NEW EXPOSITION AND IMPLEMENTATION IN PROLOG
STICKEL, ME
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 154 - 163
[2] A PROLOG TECHNOLOGY THEOREM PROVER - A NEW EXPOSITION AND IMPLEMENTATION IN PROLOG
STICKEL, ME
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 104 (01) : 109 - 128
[3] A PROLOG TECHNOLOGY THEOREM PROVER
STICKEL, ME
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 752 - 753
[4] A PROLOG TECHNOLOGY THEOREM PROVER
STICKEL, ME
[J]. NEW GENERATION COMPUTING, 1984, 2 (04) : 371 - 383
[5] SATCHMO - A THEOREM PROVER IMPLEMENTED IN PROLOG
MANTHEY, R
BRY, F
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 415 - 434
[6] A CHARE KERNEL IMPLEMENTATION OF A PARALLEL PROLOG COMPILER
RAMKUMAR, B
KALE, LV
[J]. SIGPLAN NOTICES, 1990, 25 (03): : 99 - 108
[7] Prolog Technology Reinforcement Learning Prover (System Description)
Zombori, Zsolt
Urban, Josef
Brown, Chad E.
[J]. AUTOMATED REASONING, PT II, 2020, 12167 : 489 - 507
[8] AN OPTIMIZING PROLOG COMPILER
KOMATSU, H
TAMURA, N
ASAKAWA, Y
KUROKAWA, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 264 : 104 - 115
[9] A COMPILER WRITTEN IN PROLOG
EDGAR, GA
[J]. DR DOBBS JOURNAL, 1985, 10 (05): : 84 - &
[10] PROLOG COMPILER DUE FOR MICROCOMPUTERS
WALLER, L
[J]. ELECTRONICS, 1983, 56 (22): : 55 - &

← 1 2 3 4 5 →