Micro-PROLOG and artificial intelligence