LOGIC PROGRAMMING AND PROLOG - A TUTORIAL

被引：10
作者：
DAVIS, RE
机构：
来源：
IEEE SOFTWARE | 1985年 / 2卷 / 05期
关键词：
D O I：
10.1109/MS.1985.231760
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：53 / 62
页数：10
相关论文
共 25 条
[1]  
BROUGH DR, 1984, 5TH GEN COMP SYST 19
[2]  
CLARK K, 1980, COMPUTER J, V23
[3]  
Clark K. L., 1978, Logic and data bases, P293
[4]  
CLARK KL, 1984, 5TH GEN COMP SYST 19
[5]  
CLARK KL, 1982, 1980 P LOG PROGR WOR
[6]  
CLARK KL, 1982, LOGIC PROGRAMMING
[7]  
Clocksin W. F., 1981, PROGRAMMING PROLOG
[8]  
DAVIS RE, 1982, LOGIC PROGRAMMING
[9]  
DAVIS RE, 1985, 18TH P HAW C SYST SC, V2
[10]  
DAVIS RE, KEEPING LOGIC LOGIC
123