prologStrictCompatibility

Whether the theory is read as strict Prolog (no rules of arg2p)