Extended Prolog supporting quantifiers, object-variables and substitutions
https://staff.itee.uq.edu.au/pjr/HomePages/QuPrologHome.html