Gostaria de alguma indicação de livro sobre prolog. De preferencia algum que falasse sobre a fundamentação teórica sobre a logica que ele usa.
Agradeço desde já!
O algoritmo é SLD Resolution, tu acha informação no AIMA de Russel - Norvig (Artificial Inteligence Modern Approach), Capitulo 7.