Apply reduction limit during evaluation

Caps the amount of virtual CPU time that a single goal
can consume during all searches for solutions. Each
reduction is one predicate invocation or alternate tried.

Change-Id: If3d41c14b9dd5330afe30f5a9ba502e2582c2e83
3 files changed
tree: 5ebecca385605ba48579153f216ad391c287cd30
  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