fixed a bug in guile-log lanren, einstein example now works

parent 9cf4ecbe
......@@ -347,7 +347,7 @@
(lambda gvs
(do-preds sfail ((gp-unify! gvo term) ...)
(let ((var0 (if (eq? var0 _)
(logical-variable '?)
(gp-var!)
var0)) ...)
gl))))))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment