diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-06 17:45:15 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-07-06 17:45:15 +0000 |
| commit | 0c45e33c1b8d094353a5585c44179d1818ff6e1e (patch) | |
| tree | 467a355a30b695f5f1a1093a56b6846b943f6a9d /TODO | |
| parent | bdcc02a5ea2d165c638d667978e8e2cf7462558a (diff) | |
Group clauses into predicates, and create all valid choicepoints at once. This is wastefull if one branch loops forever, but it is much nicer otherwise, since we know the choicepoints only gets created as long as their head is unifiable with the goal.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions