1983-1993: The Wonder Years of Sequential Prolog Implementation
P.Van Roy
Modularity in Logic Programming
M.Bugliesi, E.Lamma, P.Mello
Constraint Logic Programming: a Survey
J.Jaffar, M.J.Maher
The Integration of Functions into Logic Programming: from Theory
to Practice
M.Hanus
Inductive Logic Programming: Theory and Methods
S.Muggleton, L.De Raedt
Natural Language Processing and Logic Programming
V.Dahl
A Survey of Deductive Database Systems
R.Ramakrishnan, J.D.Ullman