MALI Implementation
Prolog-II Adaptation of