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