Micro-Prolog: Programming in Logic