From 78f00ee562caa4d15092715d5bf790b4d1565b45 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 28 Oct 2016 19:54:42 -0600 Subject: [PATCH] add linebreaks --- README.md | 52 ++++++++++++++++++++++++++-------------------------- 1 file changed, 26 insertions(+), 26 deletions(-) diff --git a/README.md b/README.md index e47e8e40..c239dbe5 100644 --- a/README.md +++ b/README.md @@ -14,30 +14,30 @@ atoms are currently supported. An example of the level of interaction currently supported is: -`l0> p(Z, Z). -Program stored. -l0> ?- p(Z, Z). -yes -l0> ?- p(Z, z). -yes -l0> ?- p(Z, w). -yes -l0> ?- p(z, w). -no -l0> ?- p(w, w). -yes -l0> ?- p(Z, w). -yes -l0> ?- p(Z, h(Z, W), f(W)). -no -l0> p(Z, h(Z, W), f(W)). -Program stored. -l0> ?- p(z, h(z, z), f(w)). -no -l0> ?- p(z, h(z, w), f(w)). -yes -l0> ?- p(Z, h(z, W), f(w)). -yes -l0> ?- p(z, h(Z, w), f(w)). -yes +`l0> p(Z, Z). +Program stored. +l0> ?- p(Z, Z). +yes +l0> ?- p(Z, z). +yes +l0> ?- p(Z, w). +yes +l0> ?- p(z, w). +no +l0> ?- p(w, w). +yes +l0> ?- p(Z, w). +yes +l0> ?- p(Z, h(Z, W), f(W)). +no +l0> p(Z, h(Z, W), f(W)). +Program stored. +l0> ?- p(z, h(z, z), f(w)). +no +l0> ?- p(z, h(z, w), f(w)). +yes +l0> ?- p(Z, h(z, W), f(w)). +yes +l0> ?- p(z, h(Z, w), f(w)). +yes l0> quit` \ No newline at end of file -- 2.54.0