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