From 2b7b9895cbc258db268fcf778a28cf7d6abc83cc Mon Sep 17 00:00:00 2001
From: Shawn Pearce <sop@google.com>
Date: Sat, 21 Mar 2015 16:09:32 -0700
Subject: [PATCH] Update to Prolog Cafe 1.4.1

Reduces the default Trail size from 20,000 to 100 and
changes it to grow exponentially rather than linearly.
This should reduce the amount of garbage created during
rule execution as Trail will better fit the working set.

Change-Id: Ia240ecd0db00aa8a2952f107f8259742575fd700
---
 .../main/java/com/google/gerrit/pgm/PrologShell.java   |  3 ---
 lib/prolog/BUCK                                        | 10 +++++-----
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/gerrit-pgm/src/main/java/com/google/gerrit/pgm/PrologShell.java b/gerrit-pgm/src/main/java/com/google/gerrit/pgm/PrologShell.java
index 25180251b8..58162a148c 100644
--- a/gerrit-pgm/src/main/java/com/google/gerrit/pgm/PrologShell.java
+++ b/gerrit-pgm/src/main/java/com/google/gerrit/pgm/PrologShell.java
@@ -21,7 +21,6 @@ import com.googlecode.prolog_cafe.lang.BufferingPrologControl;
 import com.googlecode.prolog_cafe.lang.Prolog;
 import com.googlecode.prolog_cafe.lang.PrologClassLoader;
 import com.googlecode.prolog_cafe.lang.SymbolTerm;
-import com.googlecode.prolog_cafe.repl.PrologMain;
 
 import org.kohsuke.args4j.Option;
 
@@ -71,8 +70,6 @@ public class PrologShell extends AbstractProgram {
     System.err.format("Gerrit Code Review %s - Interactive Prolog Shell",
         com.google.gerrit.common.Version.getVersion());
     System.err.println();
-    System.err.println("based on " + PrologMain.VERSION);
-    System.err.println("         " + PrologMain.COPYRIGHT);
     System.err.println("(type Ctrl-D or \"halt.\" to exit,"
         + " \"['path/to/file.pl'].\" to load a file)");
     System.err.println();
diff --git a/lib/prolog/BUCK b/lib/prolog/BUCK
index 6c91530bfe..77fe5ac95a 100644
--- a/lib/prolog/BUCK
+++ b/lib/prolog/BUCK
@@ -1,12 +1,12 @@
 include_defs('//lib/maven.defs')
 
-VERSION = '1.4'
+VERSION = '1.4.1'
 REPO = GERRIT
 
 maven_jar(
   name = 'runtime',
   id = 'com.googlecode.prolog-cafe:prolog-runtime:' + VERSION,
-  sha1 = 'a99cde464f7ff75371751493ab821edd7a225bc3',
+  sha1 = 'c5d9f92e49c485969dcd424dfc0c08125b5f8246',
   license = 'prologcafe',
   repository = REPO,
 )
@@ -14,7 +14,7 @@ maven_jar(
 maven_jar(
   name = 'compiler',
   id = 'com.googlecode.prolog-cafe:prolog-compiler:' + VERSION,
-  sha1 = 'ced8f50f635486bc96fca6315cacb8b18a8ef68b',
+  sha1 = 'ac24044c6ec166fdcb352b78b80d187ead3eff41',
   license = 'prologcafe',
   repository = REPO,
   deps = [
@@ -26,7 +26,7 @@ maven_jar(
 maven_jar(
   name = 'io',
   id = 'com.googlecode.prolog-cafe:prolog-io:' + VERSION,
-  sha1 = 'a4f71e4f7b80dd7a2ee5138d31f2c131ec672d15',
+  sha1 = 'b072426a4b1b8af5e914026d298ee0358a8bb5aa',
   license = 'prologcafe',
   repository = REPO,
   deps = [':runtime'],
@@ -36,7 +36,7 @@ maven_jar(
 maven_jar(
   name = 'cafeteria',
   id = 'com.googlecode.prolog-cafe:prolog-cafeteria:' + VERSION,
-  sha1 = '9d71fbbc1e4cb9280c5a5d68836a904f7abfd9f9',
+  sha1 = '8cbc3b0c19e7167c42d3f11667b21cb21ddec641',
   license = 'prologcafe',
   repository = REPO,
   deps = [