prolog programming for artificial intelligence pdf download