Prolog Programming for Artifical Intelligence (International Computer Science Series)