diff options
| author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 14:15:49 +0000 |
|---|---|---|
| committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-30 14:15:49 +0000 |
| commit | 347e5bc533070a5e988d82e7588a4e905c7096f3 (patch) | |
| tree | c62e244644de79bb6cb6b2c6fe6d8b9502ee11ac /TODO | |
| parent | 8fde6e4845eeafe6ffc4179218a3ac9e8049c0e6 (diff) | |
Give queries another id than clauses, so variable names doesn't clash
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,3 +4,4 @@ 4) Stop copying the entire goal stack into every choicepoint 5) Stop creating choicepoints when it is not needed 6) How to implement builtins nicely? +7) Right now we copy and allocate a lot, but almost never free stuff.
\ No newline at end of file |