| commit | f863c56471bc596b4ff0c868a5343b53b64729be | [log] [tgz] |
|---|---|---|
| author | Shawn Pearce <sop@google.com> | Wed Mar 11 20:10:38 2015 -0700 |
| committer | Shawn Pearce <sop@google.com> | Thu Mar 12 16:37:23 2015 -0700 |
| tree | 5ebecca385605ba48579153f216ad391c287cd30 | |
| parent | 21662fb490ef2c370572a803f4304a18bc2a7bbc [diff] |
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
A fork of Mutsunori BANBARA‘s PrologCafe to support Gerrit Code Review’s customizable project rules.
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