| tech,9-3-J82-3002,ak | entirely in <term> Prolog </term> , a <term> | programming language | </term> based on <term> logic </term> . With | #14169 The system is implemented entirely in Prolog, a programming language based on logic. | |
| 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. | |
| 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. | |
| tech,20-5-J82-3002,ak | <term> query optimisation </term> in a <term> | relational database | </term> . Finally , the <term> Prolog form | #14218 The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database . |
