Title: Micro-Prolog rules