From 2227f10d459a1492df702bc565484ab9895c0de3 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 28 Oct 2016 19:57:43 -0600 Subject: [PATCH] add linebreaks --- README.md | 54 +++++++++++++++++++++++++++--------------------------- 1 file changed, 27 insertions(+), 27 deletions(-) diff --git a/README.md b/README.md index b4d1dc79..7e929faf 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> quit` \ No newline at end of file +` 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