Prolog
Programming in PrologW. 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.
Tabling
Programming in Tabled PrologD. 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.
Parallelism
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platformsE. 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.