Logic for problem-solving
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Purelog i: pragmatic logic programming with meta-declarations (prolog, application, truth maintenance, expert systems)
Prolog/Exl, an inference engine which explains both yes and no answers
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
This paper discusses the problems and benefits of using the Prolog language to write application programs. Much attention is currently focused on expert-systems shells, which play a role in artificial intelligenc(AI) systems similar to that of application generators in more conventional applications. The Prolog programming language embodies many of the features found in these shells, while providing a relatively general and complete programming language. MVS performance tuning is used as an application that typifies a broad class of applications suitable for implementation in this language. Some of the difficulties that had to be overcome to use the language are presented, with their solutions.