PROLOG Programming for Artificial Intelligence