From 5079728dbf13c7bd139192896473ee931956c783 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 28 Oct 2016 20:00:44 -0600 Subject: [PATCH] add linebreaks --- README.md | 55 ++++++++++++++++++++++++++++--------------------------- 1 file changed, 28 insertions(+), 27 deletions(-) diff --git a/README.md b/README.md index db90e5c2..48ee64e8 100644 --- a/README.md +++ b/README.md @@ -14,31 +14,32 @@ 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 +``` +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