Micro-PROLOG: programming in logic
Micro-PROLOG: programming in logic
On the sequential nature of unification
Journal of Logic Programming
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Introduction to logic programming
Introduction to logic programming
Communications of the ACM
Prolog
ACM Computing Surveys (CSUR)
Logic Programming
Logic and Data Bases
Natural Language Communication with Computers
Parsing and compiling using Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
An exemplary approach to the education of rule-based languages
ACM SIGCSE Bulletin
A recursive interpreter for the Icon programming language
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A view of the origins and development of Prolog
Communications of the ACM
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Teaching recursion using fractals in Prolog
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
History of the Icon programming language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Logic programming and constraint logic programming
ACM Computing Surveys (CSUR)
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
Deductive parsing with multiple levels of representation
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
Modularity, parallelism, and licensing in a principle-based parser for German
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
History of the Icon programming language
History of programming languages---II
Forward chaining in HALO: an implementation strategy for history-based logic pointcuts
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts
Computer Languages, Systems and Structures
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
ACM SIGARCH Computer Architecture News
A declarative coordination language
Computer Languages
| Hi-index | 48.24 |
Since its conception, Prolog has followed a developmental course similar to the early evolution of LISP. Although the version of Prolog described here typifies that currently in use, it should be considered within the framework of language evolution.