prolog características

Prolog: programación lógica para ia

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

Inteligencia artificial y prolog: ejemplos y aplicaciones