commit: b83e111ef19694bc09013671c3333a1f50420575
[log]
author: Shawn Pearce <sop@google.com>
Fri Mar 13 20:49:25 2015 -0700
committer: Shawn Pearce <sop@google.com>
Fri Mar 13 20:49:25 2015 -0700
tree: 2ee59f13d8224ff90fc5ce007537e026d0c71280
parent: facc64ad0c68bf2c0009b26b849ce6a7487215a5 [diff]

Fix backtracking for arity-2 predicates

In commit d53fd3122110ad5440de6b8a4edfe65a17d6f457 there
was an accidental removal restoring the continuation when
a /2 predicate backtracked to try another choice point.

Put back the missing "engine.cont = this.cont" register.

Change-Id: I244c3e2564cff04fef51afdcecb413617f7adae8

src/lang/ChoicePointFrame.java[diff]

1 file changed

tree: 2ee59f13d8224ff90fc5ce007537e026d0c71280

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