Pruning and scheduling speculative work in or-parallel Prolog

• 1 January 1989
• book chapter
• Published by Springer Nature
• p. 133-150
• https://doi.org/10.1007/3-540-51285-3_38

Abstract

Keywords

• SEARCH TREE
• SCHEDULE STRATEGY
• SPECULATIVE WORK
• CHOICE POINT
• EXECUTION TREE