model,2-5-J82-3002,ak | subset of logic </term> . The resulting <term> | logical expression | </term> is then transformed by a <term> planning | #14200 The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database. |