Beginning Micro-PROLOG