return -2000;
}
else if (atom.getDLPredicate() instanceof NodeIDsAscendingOrEqual) {
int numberOfUnboundVariables=0;
for (int argumentIndex=atom.getArity()-1;argumentIndex>=0;--argumentIndex) {
Term argument=atom.getArgument(argumentIndex);
if (argument instanceof Variable) {
if (!m_boundVariables.contains(argument))
numberOfUnboundVariables++;
}
}
if (numberOfUnboundVariables>0)
return -5000;
else
return 5000;
}
else {
int numberOfBoundVariables=0;
int numberOfUnboundVariables=0;
for (int argumentIndex=atom.getArity()-1;argumentIndex>=0;--argumentIndex) {
Term argument=atom.getArgument(argumentIndex);
if (argument instanceof Variable) {
if (m_boundVariables.contains(argument))
numberOfBoundVariables++;
else
numberOfUnboundVariables++;