From 01dcca1b4d32372546a526eed2f2b9b5b5497a99 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 28 Oct 2016 19:56:30 -0600 Subject: [PATCH] add linebreaks --- README.md | 52 ++++++++++++++++++++++++++-------------------------- 1 file changed, 26 insertions(+), 26 deletions(-) diff --git a/README.md b/README.md index c239dbe5..b4d1dc79 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). +`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(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