7 ms·

Prolog Programming for Artificial Intelligence" by Ivan Bratko, is a reasonable text book on Prolog.