Logic Programming and Prolog: A Tutorial

1 September 1985

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software

Vol. 2 (5) , 53-62
https://doi.org/10.1109/ms.1985.231760

Abstract

Logic programming offers significant advantages for the massively parallel computer systems of tomorrow. This tutorial examines the potential of Prolog to implement those advantages.

Keywords

TUTORIALS
LOGIC PROGRAMMING
NATURAL LANGUAGES
CONCURRENT COMPUTING
LOGIC DESIGN
CONTROL SYSTEMS
ARTIFICIAL INTELLIGENCE
EQUATIONS
PRESSES
PROGRAMMING PROFESSION

This publication has 3 references indexed in Scilit:

Equality, types, modules, and (why not?) generics for logic programming
The Journal of Logic Programming, 1984
Algorithm classification through synthesis
The Computer Journal, 1980
Negation as Failure
Published by Springer Nature ,1978