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

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();

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 = [