From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 25 Feb 2017 01:53:30 +0000 (-0700)
Subject: new readme examples
X-Git-Tag: v0.8.110~771
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=80adc23984d52b5016c79877561c23895cf4afa3;p=scryer-prolog.git

new readme examples
---

diff --git a/README.md b/README.md
index 899658ad..8f16312e 100644
--- a/README.md
+++ b/README.md
@@ -126,6 +126,11 @@ yes
 X = h
 Z = f(f(a), g(b), _7)
 Y = g(b)
+l2> ?- p(f(X, Y, Z), Y, h).
+yes
+X = f(a)
+Z = _4
+Y = g(b)
 l2> quit
 ```