Prolog is a logic based artificial intelligence language. It differs from Lisp in terms of the execution control which is based on unification and first order logic.
Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao Prolog development system. http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html
The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logic programming and Prolog. All the information was collected by Actor Prolog agents. http://www.cplire.ru/Lab144/space/prolog.html
A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp. http://utenti.lycos.it/parsers/
A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation. http://www.huminf.aau.dk/cg/Module_II/10000.html
Online book by Hassan Ait-Kaci. The WAM is an abstract machine tailored to Prolog. It can be realised efficiently on a wide range of hardware, and serves as a target for portable Prolog compilers. http://www.vanx.org/archive/wam/wam.html
Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog. http://citeseer.ist.psu.edu/122169.html