Text this: Programming in micro-PROLOG