feat: terms and improved query evaluation

* Implement data terms for computations in queries.
* Function-like queries with computed results.
* Improved query evaluation, including positive and negative diagonal
  cosntraints.
* Preliminary local search support.
* Changes to the DNF representation for count and aggregation support.

feat: terms wip

feat: query terms wip

feat: query evaluation, diagonal constraints, local search wip

fix reasoning compilation wip

2 files changed, 11 insertions, 3 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleLike.java b/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleLike.java
index 470ca298..953ea9f8 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleLike.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleLike.java
@@ -1,5 +1,8 @@
 package tools.refinery.store.tuple;
 
+import java.util.stream.Collectors;
+import java.util.stream.IntStream;
+
 public interface TupleLike {
         int getSize();
 
@@ -22,4 +25,11 @@ public interface TupleLike {
                         default -> Tuple.of(toArray());
                 };
         }
+
+        static String toString(TupleLike tuple) {
+                var valuesString = IntStream.range(0, tuple.getSize())
+                                .mapToObj(i -> Integer.toString(tuple.get(i)))
+                                .collect(Collectors.joining(", "));
+                return "[" + valuesString + "]";
+        }
 }
diff --git a/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java b/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java
index 15fd063b..c3aed847 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/tuple/TupleN.java
@@ -1,7 +1,6 @@
 package tools.refinery.store.tuple;
 
 import java.util.Arrays;
-import java.util.stream.Collectors;
 
 public record TupleN(int[] values) implements Tuple {
         static final int CUSTOM_TUPLE_SIZE = 2;
@@ -29,8 +28,7 @@ public record TupleN(int[] values) implements Tuple {
 
         @Override
         public String toString() {
-                var valuesString = Arrays.stream(values).mapToObj(Integer::toString).collect(Collectors.joining(", "));
-                return "[" + valuesString + "]";
+                return TupleLike.toString(this);
         }
 
         @Override