shithub: pprolog

Download patch

ref: 3844776a21b3f2a1f028f76bdf06b3ff05b8fc0f
parent: 7441a0947cada8534adf48fa41e2d4471dfdeffc
author: Peter Mikkelsen <peter@pmikkelsen.com>
date: Wed Jul 7 20:49:12 EDT 2021

Update todo

--- a/TODO
+++ b/TODO
@@ -5,4 +5,11 @@
 * Right now we copy and allocate a lot, but almost never free stuff.
 * Many builtins should really throw an error, but they just fail for now.
 * Exceptions (throw, catch)
-* Modules (I try to do something like SWI prolog for now, but I know there is also an iso standard)
\ No newline at end of file
+* Modules (I try to do something like SWI prolog for now, but I know there is also an iso standard)
+
+The following builtins:
+'='/2 needs to do something about the occurs check
+unify_with_occurs_check/2: not implemented
+'\\='/2: handle occurs check
+
+* Handle overflow and uderflow in arithmetic 
\ No newline at end of file