Ciao on JavaScript

Examples and benchmarks

A list of benchmarks for the JavaScript backend of Ciao (please be patient, complex ones may take a while to load or execute):

• Part 1: constraints
• Part 2: boyer, crypt, guardians, jugs, knights, query, 11-queens
• Part 3: deriv, nreverse, poly, qsort, tak
• Part 4: fft, fib, primes

Some interactive demos:

• Graphical 8-Queens

For more information, please read the paper:

@article{DBLP:journals/tplp/MoralesHCH12,
  author    = {Jos{\'{e}} F. Morales and
               R{\'{e}}my Haemmerl{\'{e}} and
               Manuel Carro and
               Manuel V. Hermenegildo},
  title     = {Lightweight compilation of {(C)LP} to JavaScript},
  journal   = {{TPLP}},
  volume    = {12},
  number    = {4-5},
  pages     = {755--773},
  year      = {2012},
  url       = {http://dx.doi.org/10.1017/S1471068412000336},
  doi       = {10.1017/S1471068412000336},
  timestamp = {Wed, 03 Apr 2013 22:45:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/MoralesHCH12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}