[For Prolog see the Programming languages folder.]
---------------------------------------------------------------------
C. Beierle/L. Plu''mer (ed.): Logic programming. North-Holland 1994.

Siegfried Bocionek: Modulare Regelprogrammierung.
Vieweg 1990, 210p. 3-528-04770-4. DM 54.

R. Bol: An analysis of loop checking mechanisms for logic programs.
Theor. Comp. Sci. 86 (1991), 35-79.

Luca Console/Evelina Lamma/Paola Mello: Programmazione logica e Prolog.
UTET 1997, 410p. 88-7750483-8.

5824 Robert Kowalski: Logic for problem solving. North-Holland 1979.

15021 Robert Kowalski: Logic without model theory.
Internet ca. 1995, 37p.

15022 Robert Kowalski/Fariba Sadri: From logic programming to
multi-agent systems. Internet 1998, 22p.

5823 John Lloyd: Fondamenti di programmazione logica. Muzzio 1986.

8803 Peter Padawitz: Computing in Horn clause theories. Springer 1988.

D. Smith/M. Genesereth/M. Ginsberg: Controlling recursive inference.
Artif. Intell. 30 (1986), 343-389.

David H. Warren: Logic programming and compiler writing.
Software Practice Exp. 10 (1980), 97-125.