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