On Fri, Dec 28, 2012 at 3:41 AM, Jose F. Morales <jfran(a)clip.dia.fi.upm.es>wrote:

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

-- Jose

Nothing specific I just wanted to play around with it :) I'm very much interested both in language projects that support compilation to efficient JavaScript as well as logic programming. I work on ClojureScript (compilation of Clojure to JavaScript) as well as core.logic. core.logic is an implementation of miniKanren (Daniel Friedman, William Byrd, et al), with extensions for constraint logic programming (cKanren) and hopefully soon nominal logic programming (alphaKanren).

So this paper is very much in line with my own interests :)

David