共 50 条
[31]
Learning Programming in Prolog Using Schemata
[J].
SIGPLAN Notices (ACM Special Interest Group on Programming Languages),
1998, 33 (02)
:41-46
[34]
Logic programming and the execution model of Prolog
[J].
INFORMATION SCIENCES-APPLICATIONS,
1995, 4 (03)
:167-191
[35]
THE PSEUDO-PROLOG PROGRAMMING ENVIRONMENT
[J].
COMPUTERS AND ARTIFICIAL INTELLIGENCE,
1989, 8 (02)
:131-139
[36]
RATIONAL RECONSTRUCTION OF METALEVEL PROGRAMMING IN PROLOG
[J].
COMPUTING AND INFORMATION,
1989,
:389-395
[37]
kProbLog: An Algebraic Prolog for Kernel Programming
[J].
INDUCTIVE LOGIC PROGRAMMING, ILP 2015,
2016, 9575
:152-165