Artificial Intelligence Through PROLOG