An implementation of backtracking for programming languages

• 1 January 1972
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 763-771
• https://doi.org/10.1145/800194.805856

Abstract

Keywords

• BACKTRACK PROGRAMMING
• CHOICE FUNCTIONS
• CONTROL STRUCTURES
• DENDRARCHY
• ENVIRONMENTS
• EXTENSIBLE CONTROL STRUCTURES
• HEURISTIC METHODS
• NON-DETERMINISM
• PROBLEM SOLVING
• RETENTION
• SCOPING OF VARIABLES
• STACK ALLOCATION