From 80adc23984d52b5016c79877561c23895cf4afa3 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 24 Feb 2017 18:53:30 -0700
Subject: [PATCH] new readme examples

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

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