Text this: Micro-PROLOG