From 23fc50417f0c80267b8924405bd686f92357e49c Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 2 Feb 2017 15:53:06 -0700
Subject: [PATCH] bug fixes

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

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
 ```
 
-- 
2.54.0