A view of the origins and development of Prolog
Communications of the ACM
The early years of logic programming
Communications of the ACM
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
| Hi-index | 0.00 |