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
2 files changed