Prolog Programming for Artificial Intelligence