On Thu, Dec 27, 2012 at 9:57 PM, David Nolen <dnolen.lists@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

--
Jose