On Thu, Dec 27, 2012 at 9:57 PM, David Nolen <dnolen.lists(a)gmail.com> wrote:
I came across this recent paper - http://arxiv.org/pdf/1210.2864.pdf
Is there any documentation available on how to use this?
Hi David,
The backend is in alpha state and currently not included in the default Ciao distribution. Nevertheless, it is mature enough to be used in medium/small code pieces similar to those in the paper.
There exists some blocking issues before the backend can be used in production code (and distributed). The main one is that some important library predicates (like those for managing the dynamic database) are missing.
If you can describe (in a private message if you prefer) a little bit the kind of code that you want to compile using the backend, we will probably be able to help you.
Cheers