prolog programming for artificial intelligence 3rd edition pdf