Logic for problem-solving
APLDOT an APL programmer's modeling language
APL '83 Proceedings of the international conference on APL
A Boolean array based algorithm in APL
ACM SIGAPL APL Quote Quad
A generalised data base interface for APL
APL '86 Proceedings of the international conference on APL
APL2 and AI: a study of search
APL '86 Proceedings of the international conference on APL
The dual structure of ordered trees
APL '91 Proceedings of the international conference on APL '91
A bibliography of APL articles on modeling and KBES
ACM SIGAPL APL Quote Quad
Artificial intelligence development aids (AIDA)
APL '85 Proceedings of the international conference on APL: APL and the future
XPL: an expert systems framework in APL
APL '85 Proceedings of the international conference on APL: APL and the future
Hi-index | 0.00 |
The programming of an expert system requires a language for specifying the rules that an expert uses, a data base for storing his knowledge, and a suitable interactive system. Logic programming has been described as a way of implementing expert systems. With logic programming, rules are expressed as assertions of what is true when certain conditions are true. To be true, the assertion has to be based upon fact or upon an inference derived from facts. This paper describes an implementation of a PROLOG-like language in APL. The intent is to achieve logic programming capability while retaining the full facility of APL. PROLOG is both an extension of LISP, thereby satisfying the needs of the Artificial Intelligence community, and a language for relational databases. This implementation leans toward the relational data base approach.