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