Logic programming in APL2

Authors:
James A. Brown;Janice H. Cook;Leo H. Groner;Ed Eusebi
Affiliations:
IBM Santa Teresa Lab J88/E42, 555 Bailey Ave., P.O. Box 50020, San Jose, Calif.;IBM Santa Teresa Lab J88/E42, 555 Bailey Ave., P.O. Box 50020, San Jose, Calif.;IBM Santa Teresa Lab J88/E42, 555 Bailey Ave., P.O. Box 50020, San Jose, Calif.;IBM Santa Teresa Lab J88/E42, 555 Bailey Ave., P.O. Box 50020, San Jose, Calif.
Venue:
APL '86 Proceedings of the international conference on APL
Year:
1986

Citing 7
Cited 5

Structure and interpretation of computer programs

Structure and interpretation of computer programs
Principles of artificial intelligence

Principles of artificial intelligence
Introduction to artificial intelligence

Introduction to artificial intelligence
Programming in Prolog

Programming in Prolog
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Artificial Intelligence

Artificial Intelligence
Artificial Intelligence Programming

Artificial Intelligence Programming

APL extensions—a users view

APL '87 Proceedings of the international conference on APL: APL in transition
Frames, semantic networks, and object-oriented programming in APL2

IBM Journal of Research and Development
Toward a common prototyping language

APL '90 Conference proceedings on APL 90: for the future
An APL rule-based system architecture for image interpretation strategies

APL '91 Proceedings of the international conference on APL '91
A bibliography of APL articles on modeling and KBES

ACM SIGAPL APL Quote Quad

Quantified Score

Hi-index	0.00

Visualization

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).