checkFact

domain

getCurrentTimeMillis

getProperty

getRuleset

javaFacts

javaStrategy

loadFile

printTerm

setFact

setProperty

system