The statement that the order or sequence of rules in a Prolog program is usually critical. is false. Prolog programs are simply knowledge bases. And knowledge bases are collections of facts and rules which describe some collection of relationships that we find interesting.