Artificial Intelligence Prolog lab