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