Foundations of logic programming
Foundations of logic programming
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Introduction to logic programming
Introduction to logic programming
Prolog
Logic for problem-solving
Communications of the ACM
Constraint satisfaction using constraint logic programming
Artificial Intelligence - Special volume on constraint-based reasoning
From logic programming to Prolog
From logic programming to Prolog
From Logic to Logic Programming
From Logic to Logic Programming
| Hi-index | 0.00 |
Logic programming emerged in the early 1970s from a convergence of work in the fields of automated theorem proving (q.v.), artificial intelligence (q.v.), and formal languages (q.v.).