SMS: Programming in micro-PROLOG