Prolog
Bibliography
General
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