commit: f863c56471bc596b4ff0c868a5343b53b64729be
[log]
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

3 files changed

tree: 5ebecca385605ba48579153f216ad391c287cd30

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