Expand XSB indexing statements to allow empty tuple-element sequences

ZOUG · ZOUG · commit 1c298d054c4a · 2018-03-16T22:08:17.000-03:00
diff --git a/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/prolog/XSBEngine.java b/PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/prolog/XSBEngine.java
@@ -129,7 +129,7 @@ public void loadKB(String kb) {
 			writer.println(":- index prdsloterm/4-3.");
 			
 			// Assume a maximum tuple length of 10
-			for (int i = 2; i < 12; i++)
+			for (int i = 1; i < 12; i++)
 			{
 				writer.println(":- table(tupterm/" + i + ").");
 				writer.println(":- table(prdtupterm/" + (i + 1) + ").");

Original file line number	Diff line number	Diff line change
`@@ -129,7 +129,7 @@ public void loadKB(String kb) {`
`129`	`129`	`writer.println(":- index prdsloterm/4-3.");`
`130`	`130`
`131`	`131`	`// Assume a maximum tuple length of 10`
`132`		`- for (int i = 2; i < 12; i++)`
	`132`	`+ for (int i = 1; i < 12; i++)`
`133`	`133`	`{`
`134`	`134`	`writer.println(":- table(tupterm/" + i + ").");`
`135`	`135`	`writer.println(":- table(prdtupterm/" + (i + 1) + ").");`