Merge changes I4ba34cab,Ifb7baa1d,If3d41c14,I165c6710,I78ab48d8, ...

* changes:
  Inline is{Integer,Double,Symbol,List,...} with instanceof
  Expand statistics feature to cover all vm stats
  Apply reduction limit during evaluation
  Remove incorrect copyright header from Google
  Move user stream IO setup to common PrologControl
  Apply Gerrit-style formatting settings for Eclipse
tree: e46ec7ed840fe07ec06442261378885d5da97560
  1. .settings/
  2. bin/
  3. examples/
  4. java/
  5. src/
  6. .buckconfig
  7. .classpath
  8. .gitignore
  9. .gitmodules
  10. .project
  11. bootstrap.defs
  12. BUCK
  13. fake_pom_install.xml
  14. LICENSE
  15. LICENSE.EPL
  16. LICENSE.GPL
  17. README.md
README.md

Prolog Cafe

A fork of Mutsunori BANBARA‘s PrologCafe to support Gerrit Code Review’s customizable project rules.

Build

To bootstrap Buck and SWI-Prolog >= 6.6.4 must be installed and then build the runtime and compiler with:

buck build all

To package for Maven into the local ~/.m2/repository directory:

buck build install

To publish to the gerrit-maven storage bucket:

buck build deploy