Prolog programming for artificial intelligence. (International Computer Science Series)