>
Micro-Prolog: Programming in Logic