Updated the "coinduction" example "SCRIPT.txt" file with non-ambiguous sample query results by taking advantage of recent improvements on SWI-Prolog when reporting bindings with rational terms.
Updated the "coinduction" example "SCRIPT.txt" file with non-ambiguous sample query results by taking advantage of recent improvements on SWI-Prolog when reporting bindings with rational terms.

git-svn-id: 4c7b768bc2e2a56aa1c56b1b5a9454ba68342430@6310 ac9c905b-388a-4ddf-9b6a-4063a022bc57

LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2,LogtalkDotOrg/logtalk2