setFacts(t1..tn) - reduced to true, with effect of setting into knowledge database of current system facts t1..tn.
domain
domain(t1,...tn) - add to current runtime definition of domain.
t1 - name of new-created domain.
t2 ... tn - entities of this domain: 'system' or 'domain' or 'facts' subterms
getCurrentTimeMillis
getCurrentTimeMillis - return number of milliseconds since midnight GMT on January 1st, 1970
getProperty
getProperty(x) - reduced to property with name x.getName() of current system
for now, only one property - 'debug' is supported
getRuleset
getRuleset(x) - return ruleset of system with name 'x'
javaFacts
javaFacts(name,className)
add to current environment facts database with name name
implemented by java class className
javaStrategy
javaFacts(name,className) - add to current runtime environment strategy with name name implemented by className
loadFile
loadFile(fname) - load file with name fname into current runtime loadFile(fname,lang) - load file with name fname into current runtime using parser 'lang'. predefined number of languages: tscript, Java, IDL, SQL Other language parsers can be loaded into runtime by application developer.
printTerm
printTerm(t) - transform to t, with effect of printing term to output stream of current enviorment printTerm(t,lang) - as previous, but using printer for languagr lang
setFact
setFacts(t1..tn) - reduced to true, with effect of setting into knowledge database of current system facts t1..tn.
setProperty
setProperty(name,t) - reduced to true with effect of setting system property 'name' to 't'
system
system(name,facts,ruleset,strategy) - which means import into current root domain system with name 'name' and facts 'facts' and ruleset 'ruleste' with strategy 'strategy'. Note, that system term can be a part of domain term - in such way systems can be hierarchically organized by domains.