- Kowalski, R. Logic for problem solving, North-Holland 1979. Google ScholarDigital Library
- Van Emden, M. Relational programming illustrated by a program for the game of Mastermind, in Computer Languages and Computational Linguistics, October 1979.Google Scholar
- Tärnlund, S-Å. An axiomatic data base theory, in Logic and data bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York 1978.Google ScholarCross Ref
Recommendations
PROLOG based expert system
AbstractsA PROLOG based expert system called APLICOT is described. Its basic design framework is the same as used for other languages implementing expert systems. This utilization of the same design framework permits a comparison to be made of system ...
A PROLOG-based expert system for tuning MVS/XA
This paper will discuss some of the issues involved in building an Expert System that embodies tuning rules for IBM's MVS/XA operating system. To understand the components of an Expert System and their functions, PROLOG on an IBM PC (Turbo-PROLOG from ...
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies
We use domain-specific languages and deductive databases for declarative rule bases.We present the design and implementation of DSLs for declarative expert rules in Prolog as an internal and as an external DSL.Our approach makes use of Prologs term-...
Comments