Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of deductive databases and logic
Foundations of deductive databases and logic
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Describing Prolog by its interpretation and compilation
Communications of the ACM
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Communications of the ACM
Hi-index | 0.00 |