From 02827bc0e2774e881e8595ae4db0a93dc439e7e6 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 4 Mar 2017 19:28:59 -0700 Subject: [PATCH] fix to README --- README.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ba933921..1d200ff0 100644 --- a/README.md +++ b/README.md @@ -62,10 +62,12 @@ above). ## Occurs check There's no occurs check, but there soon will be. Currently, attempting -unification on a cyclic term causes an infinite loop: +unification on a cyclic term succeeds, and the attempt to write the +term to a string results in an infinite loop, ie. ``` -l2> p(W, W). -l2> ?- p(f(f(W)), W). +l3> p(W, W). +l3> ?- p(f(f(W)), W). +yes *loops to infinity* ``` \ No newline at end of file -- 2.54.0