We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 78742bc commit 38c81deCopy full SHA for 38c81de
PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/prolog/XSBEngine.java
@@ -17,6 +17,7 @@
17
public class XSBEngine extends PrologEngine {
18
private String m_xsbBinPath, m_xsbFolder;
19
private File m_transKBFile;
20
+ protected static final int MAX_TUPLE_LEN = 10;
21
22
/**
23
* XSB engine configuration
@@ -129,7 +130,7 @@ public void loadKB(String kb) {
129
130
writer.println(":- index prdsloterm/4-3.");
131
132
// Assume a maximum tuple length of 10
- for (int i = 1; i < 12; i++)
133
+ for (int i = 1; i < 2 + MAX_TUPLE_LEN; i++)
134
{
135
writer.println(":- table(tupterm/" + i + ").");
136
writer.println(":- table(prdtupterm/" + (i + 1) + ").");
0 commit comments