long length = 0;
{
String G = "leg(L),buildTermModel(L,LL)";
TermModel length_model = (TermModel) (prologEngine.deterministicGoal(G, "[LL]"))[0];
length = length_model.intValue();
}
long endTime = System.currentTimeMillis();
System.out.println("Got " + length + " solutions in "