Prolog: programación lógica para ia
Programas inteligentes en prolog: lógica formal y razonamiento deductivo