Extended Prolog supporting quantifiers, object-variables and substitutions
