Manuale Prolog
Questo manuale online tratta sia gli aspetti teorici della logica formale (calcolo proposiazionale, logica dei predicati, risoluzione di problemi, etc.) che l'utilizzo del Prolog per programmare sistemi intelligenti (come ad esempio l'analisi del linguaggio naturale).