The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - December (1989 vol.1)
pp: 470-482
ABSTRACT
<p>Prolog programs are often inefficient: execution corresponds to a depth-first traversal of an AND/OR graph; traversing subgraphs in another order can be less expensive. It is shown how the reordering of clauses within Prolog predicates, and especially of goals within clauses, can prevent unnecessary search. The characterization and detection of restrictions on reordering is discussed. A system of calling modes for Prolog, geared to reordering, is proposed, and ways to infer them automatically are discussed. The information needed for safe reordering is summarized, and which types can be inferred automatically and which must be provided by the user are considered. An improved method for determining a good order for the goals of Prolog clauses is presented and used as the basis for a reordering system.</p>
INDEX TERMS
Prolog programs reordering; depth-first traversal; traversing subgraphs; predicates; clauses; logic programming; PROLOG
CITATION
M.M. Gooley, B.W. Wah, "Efficient Reordering of Prolog Programs", IEEE Transactions on Knowledge & Data Engineering, vol.1, no. 4, pp. 470-482, December 1989, doi:10.1109/69.43422
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool