Taking Advantage of Determinism
WS Presentations Main Page
Next: Backtracking Families
Up: Backtracking Families
Previous: An Example:
- Let us suppose that a, b, c, d, e
do not push any choice-point:
...a & b & c & d & e ...
- As goals are independent, forward execution order is immaterial
- As goals are deterministic, no reexecution is done
- So there is no need to identify each goal separately
- Goals can be collapsed into one single stack section
- Example:
Thu Jan 18 11:25:20 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>