Commit repl.c file

1 files changed, 29 insertions, 0 deletions

diff --git a/repl.c b/repl.c
new file mode 100644
index 0000000..e81c2f2
--- /dev/null
+++ b/repl.c
@@ -0,0 +1,29 @@
+#include <u.h>
+#include <libc.h>
+
+#include "dat.h"
+#include "fns.h"
+
+void
+repl(Term *database)
+{
+	int fd = 0; /* Standard input */
+	while(1){
+		print("?- ");
+		Term *query = parse(fd, 1);
+		Binding *bindings = nil;
+		int success = evalquery(database, query, &bindings);
+		if(success == 0)
+			print("false.\n");
+		else{
+			if(bindings == nil)
+				print("true.\n");
+			else{
+				while(bindings){
+					print("%S = %S\n", bindings->name, prettyprint(bindings->value));
+					bindings = bindings->next;
+				}
+			}
+		}
+	}
+}
\ No newline at end of file