Peter M. Kogge, ``The Architecture of Symbolic Computers'', McGraw-Hill.

William Clocksin and Chris Mellish, ``Programming in Prolog'', Springer-Verlag.

Leon Sterling and Ehud Shapiro, ``The Art of Prolog'', MIT Press.

Ivan Bratko, ``Prolog Programming for Artificial Intelligence'', Addison-Wesley.

Kim Marriot and Peter Stuckey, ``Programming with Constraints'', MIT Press.

Hassan Ait-Kaci, ``Warren's Abstract Machine -- A Tutorial Reconstruction'', MIT Press.

Pascal van Hentenryck, ``Constraint Satisfaction in Logic Programming'', MIT Press.

Steve Gregory, ``Parallel Logic Programming in Parlog'',

Peter van Roy, ``1983-1993--The Wonder Years of Sequential Prolog Implementation'', JLP, 1994, V. 20, pp. 385--441.

Ehud Shapiro, ``The Family of Concurrent Logic Programming Languages'', ACM Computing Surveys, 1989, V. 21, N. 3, pp. 412--510.