Foundations of logic programming
Foundations of logic programming
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
A view of the origins and development of Prolog
Communications of the ACM
The early years of logic programming
Communications of the ACM
ABSYS: the first logic programming language—a retrospective and commentary
Journal of Logic Programming
Two Results on Ordering for Resolution with Merging and Linear Format
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
| Hi-index | 0.00 |
Delving into the archives for the meaning of SLD reveals that the name is ill chosen. Furthermore, empiric evidence shows that the significance of the letters is entering the realms folklore. As clear logical thinking about a subject is impeded if the vocabulary is misleading or confused this note is intended to bring this matter to light before many more generations of logic programmers proliferate misconceptions. Clear logical thinking is of even greater import for a subject that purports to be about logic.