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
Syntactic Analysis and Operator Precedence
Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Natural Language Communication with Computers
ACM '69 Proceedings of the 1969 24th national conference
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Some aspects of symbolic integration via predicate logic programming
ACM SIGSAM Bulletin
Compiling Horn-Clause Rules in IBM`s Business System 12 and Early Experiment in Declarativeness
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Theory and Practice of Logic Programming
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
The synthetic teammate project
Computational & Mathematical Organization Theory
Knowledge representation for automated reasoning
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
A resolution based description logic calculus
Acta Cybernetica
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Two phase description logic reasoning for efficient information retrieval
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Hi-index | 0.00 |
The programming language, Prolog, was born of a project aimed not at producing a programm3ing language but at processing natural languages; in this case, French. The project gave rise to a preliminary version of Prolog at the end of 1971 and a more definitive version at the end of 1972. This article gives the history of this project and describes in detail the preliminary and then the final versions of Prolog. The authors also felt it appropriate to describe the Q-systems because it was a language that played a prominent part in Prolog's genesis.