@@ -0,0 +1,506 @@
+%0Apackage iProlog;%0A/**%0A * representation of a clause%0A */%0Aclass Clause %7B%0A  Clause(final int len, final int%5B%5D hgs, final int base, final int neck, final int%5B%5D xs) %7B%0A    this.hgs = hgs; // head+goals pointing to cells in cs%0A    this.base = base; // heap where this starts%0A    this.len = len; // length of heap slice%0A    this.neck = neck; // first after the end of the head%0A    this.xs = xs; // indexables in head%0A  %7D%0A%0A  final int len;%0A  final int%5B%5D hgs;%0A  final int base;%0A  final int neck;%0A  final int%5B%5D xs;%0A%7D%0A

Create Clause.java