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