| tech,6-3-J82-3002,ak | </term> is implemented entirely in <term> | Prolog | </term> , a <term> programming language </term> | #14166 The system is implemented entirely in Prolog , a programming language based on logic. | |
| tech,13-5-J82-3002,ak | planning algorithm </term> into efficient <term> | Prolog | </term> , cf. <term> query optimisation </term> | #14211 The resulting logical expression is then transformed by a planning algorithm into efficient Prolog , cf. query optimisation in a relational database. |
