论文信息 - Logic Programming and Prolog: A Tutorial

Logic Programming and Prolog: A Tutorial

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

Ruth E. Davis

[1] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.

[2] Sharon Sickel. Invertibility of Logic Programs. , 1978 .

[3] Keith L. Clark,et al. Algorithm Classification Through Synthesis , 1980, Comput. J..

[4] Adrian Walker,et al. Some Practical Properties of Logic Programming Interpreters , 1984, FGCS.

[5] José Meseguer,et al. Equality, Types, Modules, and (Why not ?) Generics for Logic Programming , 1984, J. Log. Program..