Describir: Programming in micro-PROLOG