Programming in Prolog
W. Clocksin and C. Mellish. Springer. 1994.

The Art of Prolog
L. Sterling and E. Shapiro. The MIT Press. 1994.

Warren's Abstract Machine - A Tutorial Reconstruction
H. Aït-Kaci. MIT Press. 1991.

Foundations of Logic Programming
J. W. Lloyd. Springer. 1987.


Programming in Tabled Prolog
D. S. Warren. Department of Computer Science, State University of New York. 1999.

Efficient Access Mechanisms for Tabled Logic Programs
I. V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift and D. S. Warren. Journal of Logic Programming, volume 38(1), pages 31-54. 1999.

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
K. Sagonas and T. Swift. ACM Transactions on Programming Languages and Systems, volume 20(3), pages 586-634. 1998.

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies
J. Freire, T. Swift and D. S. Warren. 8th International Symposium on Programming Language Implementation and Logic Programming. Springer, LNCS 1140, pages 243-258. 1996.

Tabled Evaluation with Delaying for General Logic Programs
W. Chen and D. S. Warren. Journal of the ACM, volume 43(1), pages 20-74. 1996.


Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms
E. Pontelli, K. Villaverde, Hai-Feng Guo and G. Gupta. Journal of Parallel and Distributed Computing, volume 66(10), pages 1267-1293. 2006.

Parallel Execution of Prolog Programs: A Survey
G. Gupta, E. Pontelli, K. Ali, M. Carlsson and M. V. Hermenegildo. ACM Transactions on Programming Languages and Systems, volume 23(4), pages 472-602. 2001.

The Muse Approach to OR-Parallel Prolog
K. Ali and R. Karlsson. International Journal of Parallel Programming, volume 19(2), pages 129-162. 1990.

The Aurora Or-Parallel Prolog System
E. Lusk, R. Butler, T. Disz, R. Olson, R. Overbeek, R. Stevens, D. H. D. Warren, A. Calderwood, P. Szeredi, S. Haridi, P. Brand, M. Carlsson, A. Ciepielewski and B. Hausman. International Conference on Fifth Generation Computer Systems, Institute for New Generation Computer Technology, pages 819-830. 1988.