{"shas":[["b9b6d025cc61893ac4b9315d0de8dbbea82119ba","404ef617c8a0f36e8ad9f7518180025451ff9736@ac9c905b-388a-4ddf-9b6a-4063a022bc57","Removed coinduction support for CxProlog. The current version of this compiler lacks a soft-cut built-in predicate or control construct, which is now required by the experimental coinduction implementation.\n\ngit-svn-id: http://svn.logtalk.org/logtalk/trunk@6430 ac9c905b-388a-4ddf-9b6a-4063a022bc57","pmoura"],["4629addb1be0a7707572faf20bfca4919d3a4473","404ef617c8a0f36e8ad9f7518180025451ff9736@ac9c905b-388a-4ddf-9b6a-4063a022bc57","Updated the \"metapredicates\" example with sample code illustrating how to define wrappers for the bagof/3 and setof/3 built-in methods when the meta-argument may contain existentially qualified variables.\n\ngit-svn-id: http://svn.logtalk.org/logtalk/trunk@6431 ac9c905b-388a-4ddf-9b6a-4063a022bc57","pmoura"],["3a2f0da3bca1e048bc6b60e07513eccbba82be79","404ef617c8a0f36e8ad9f7518180025451ff9736@ac9c905b-388a-4ddf-9b6a-4063a022bc57","Added some unit tests to the \"cc\" example.\n\ngit-svn-id: http://svn.logtalk.org/logtalk/trunk@6432 ac9c905b-388a-4ddf-9b6a-4063a022bc57","pmoura"]],"ref":"refs/heads/master","size":3,"head":"3a2f0da3bca1e048bc6b60e07513eccbba82be79","push_id":40875016}