The current issues in the execution of Prolog programs are focused on WAM. Since intelligent backtracking which reduce nonfruitful or unnecessary work speeds up execution of Prolog, it should be incorporated intelligent backtracking in WAM. Intelligen...
The current issues in the execution of Prolog programs are focused on WAM. Since intelligent backtracking which reduce nonfruitful or unnecessary work speeds up execution of Prolog, it should be incorporated intelligent backtracking in WAM. Intelligent backtracking, however, suffers from overhead to maintain a lot of information. The semi-intelligent method proposed by Chang and Despain has advantage of low overhead. We implement semi-intelligent backtracking on WAM. We extend machine architecture and change some instructions.