Prolog

BibliographyGeneral
Compilers
Logic programming
Object oriented logic programming
Personal home pages

General

Prolog guide
Adventure in Prolog
Regular expressions
Interactive Prolog

Compilers

GNU Prolog
SEPIA
SICStus
Strawberry Prolog
SWI-Prolog

Personal home pages

Roman Bartak in Praha
Prolog guide
Selmer Bringsjord in Troy
Introduction to Logic
Paul Brna in Glasgow
Mats Carlsson in Uppsala
Daniel Diaz in Paris
Lee Naish in Melbourne
Gertjan van Noord in Aduard
Yoav Shoham in Stanford