shithub: pprolog

ref: 2c166a1496c5638924d29df9dcf6c125a31ce18c
dir: /TODO/

View raw version
* Stop comparing strings all the time
* Stop copying the entire goal stack into every choicepoint
* Stop creating choicepoints when it is not needed
* How to implement builtins nicely?
* Right now we copy and allocate a lot, but almost never free stuff.