Start adding support for read_term and write_term

1 files changed, 3 insertions, 1 deletions

diff --git a/eval.c b/eval.c
index 968d6c9..17ee5d1 100644
--- a/eval.c
+++ b/eval.c
@@ -1,5 +1,6 @@
 #include <u.h>
 #include <libc.h>
+#include <bio.h>
 
 #include "dat.h"
 #include "fns.h"
@@ -57,7 +58,7 @@ Retry:
 		}
 
 		if(debug)
-			print("Working goal: %S\n", prettyprint(goal));
+			print("Working goal: %S\n", prettyprint(goal, 0, 0, 0));
 
 		Binding *bindings = nil;
 		Term *clause = nil;
@@ -226,6 +227,7 @@ equalterms(Term *a, Term *b)
 
 	switch(a->tag){
 	case AtomTerm:
+		return runestrcmp(a->text, b->text) == 0;
 	case VariableTerm:
 		return (runestrcmp(a->text, b->text) == 0 && a->clausenr == b->clausenr);
 	case NumberTerm: