Affiliation:
1. IBM Santa Teresa Lab J88/E42, 555 Bailey Ave., P.O. Box 50020, San Jose, Calif.
Abstract
The most popular vehicles for logic programming are LISP and PROLOG.
APL2
has the important features of these languages and more. On one hand,
APL2
has all the expressive power of LISP and implementation of PROLOG in
APL2
is not difficult. On the other hand,
APL2
includes facilities for full screen management, menus, graphics, access to relational databases, and powerful computational primitives.
This paper explores the representation of logic using the nested data structures of
APL2
and shows how some standard algorithms of logic programming are expressed in
APL2
. This includes Unification, Resolution, and a logic programming environment like PROLOG. A discussion of the pertinent
APL2
notation, detailed discussion of the algorithms and commented programs appear in (Br1).
Publisher
Association for Computing Machinery (ACM)
Reference8 articles.
1. Clocksin. W.F. Melllsh C.S. "Programming In Prolog". Springer-Verlag New York. 1981. Clocksin. W.F. Melllsh C.S. "Programming In Prolog". Springer-Verlag New York. 1981.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献