Title: Prolog Programming for Artificial Intelligence (International Computer Science Series)