swi-prolog

Programas inteligentes en prolog: lógica formal y razonamiento deductivo

Cómo usar prolog en ia: programación lógica y relaciones

Proyectos de sistemas inteligentes en prolog