Micro-PROLOG and Artificial Intelligence