| tech,9-5-J82-3002,ak | expression </term> is then transformed by a <term> | planning algorithm | </term> into efficient <term> Prolog </term> | #14207 The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database. |
