ref: 8fde6e4845eeafe6ffc4179218a3ac9e8049c0e6
parent: ee4298a2cfbbd9e015cfc775d9d714a9f5035846
author: Peter Mikkelsen <peter@pmikkelsen.com>
date: Wed Jun 30 10:04:31 EDT 2021
Commit repl.c file
--- /dev/null
+++ b/repl.c
@@ -1,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