Changed Scheme benchmark tests to need manual code copy/paste from miniKanren for better performance comparisonsHEADmaster

1 files changed, 16 insertions, 6 deletions

diff --git a/scheme/zebra.scm b/scheme/zebra.scm
index 9ba0fea..f33eba8 100644
--- a/scheme/zebra.scm
+++ b/scheme/zebra.scm
@@ -2,6 +2,16 @@
 ; Equivalent to example/zebra.adb
 
 
+
+; Place contents of mk.scm from simple-miniKanren here.
+; An equivalent microKanren implementation such as from the 2013 paper will also work.
+
+
+; Place contents of mkdefs.scm from simple-miniKanren here.
+; Be sure to leave out the (load "mk.scm") line.
+
+
+
 (define (on-right l r li)
   (conde
     ((fresh (z)
@@ -44,11 +54,11 @@
     (fresh (w x y z) (membero `(,w ,x ,y zebra ,z) h))))
 
 
-(define (run-zebra args)
-  (let* ((s (run 1 (h) (zebra h))))
-    (for-each
-      (lambda (x)
-        (begin (display x) (newline)))
-      (car s))))
+; Main program
+(let* ((s (run 1 (h) (zebra h))))
+  (for-each
+    (lambda (x)
+      (begin (display x) (newline)))
+    (car s)))