11.7 Options specifying the intended semantics

--strict-sequential

This option is an abbreviation for the combination of ‘--no-reorder-conj’, ‘--no-reorder-disj’, and ‘--fully-strict’.

--no-reorder-conj

Execute conjunctions left-to-right. Do not reorder conjuncts, except where the modes require it (to put the producer of each variable before all its consumers).

--no-reorder-disj

Execute disjunctions strictly left-to-right; do not reorder disjuncts.

--no-fully-strict

Allow infinite loops, and goals whose determinism is erroneous, to be optimised away.