File tree Expand file tree Collapse file tree 1 file changed +5
-3
lines changed
PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun/prolog Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Original file line number Diff line number Diff line change 1717public class XSBEngine extends PrologEngine {
1818 private String m_xsbBinPath , m_xsbFolder ;
1919 private File m_transKBFile ;
20- protected static final int MAX_TUPLE_LEN = 10 ;
20+
21+ // Maximum tuple length of psoa atoms for tupterm/prdtupterm tabling
22+ protected static final int MAX_TUPLE_LEN_FOR_TABLING = 10 ;
23+
2124
2225 /**
2326 * XSB engine configuration
@@ -129,8 +132,7 @@ public void loadKB(String kb) {
129132 writer .println (":- index prdsloterm/4-2." );
130133 writer .println (":- index prdsloterm/4-3." );
131134
132- // Assume a maximum tuple length of 10
133- for (int i = 1 ; i < 2 + MAX_TUPLE_LEN ; i ++)
135+ for (int i = 1 ; i < 2 + MAX_TUPLE_LEN_FOR_TABLING ; i ++)
134136 {
135137 writer .println (":- table(tupterm/" + i + ")." );
136138 writer .println (":- table(prdtupterm/" + (i + 1 ) + ")." );
You can’t perform that action at this time.
0 commit comments