shithub: pprolog

Download patch

ref: 79d1fe1cf2eb6748e2c12ffe9c36a678655302b1
parent: 67e8b85a9f9b42acc896b44eb2ea1310e749f03a
author: Peter Mikkelsen <peter@pmikkelsen.com>
date: Tue Jun 29 22:05:46 EDT 2021

Add todo

--- /dev/null
+++ b/TODO
@@ -1,0 +1,6 @@
+1) Add a repl
+2) Figure out how to print the final bindings after running a query
+3) Stop comparing strings all the time
+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?