Volume 5, Number 1, March 1988
: Perspectives in Deductive Databases.
Volume 5, Number 2, June 1988
L. Thorne McCarty
: Clausal Intuitionistic Logic II - Tableau Proof Procedures.
William G. Golson
: Toward a Declarative Semantics for Infinite Objects in Logic Programming.
Volume 5, Number 3, September 1988
W. F. Clocksin
: A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs.
Volume 5, Number 4, December 1988
, Mike Brayshaw
: The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming.