From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 2 Feb 2017 22:53:06 +0000 (-0700)
Subject: bug fixes
X-Git-Tag: v0.8.110~780
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23fc50417f0c80267b8924405bd686f92357e49c;p=scryer-prolog.git

bug fixes
---

diff --git a/README.md b/README.md
index 9c84f6cb..dd2bd6cb 100644
--- a/README.md
+++ b/README.md
@@ -53,6 +53,9 @@ l1> ?- p(Z, h(Z, w), f(Z)).
 yes
 l1> ?- p(z, h(Z, w), f(Z)).
 no
+l1> p(f(X), h(Y, f(a)), Y).
+l1> ?- p(Z, h(Z, W), f(W)).
+yes
 l1> quit
 ```