shithub: pprolog

Download patch

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