org.provarules.kernel2

Interface ProvaKnowledgeBase

All Known Implementing Classes:

ProvaKnowledgeBaseImpl

public interface ProvaKnowledgeBase

Method Summary

Modifier and Type	Method and Description
void	addCachePredicate(java.lang.String symbol)
void	addClauseSetToSrc(ProvaRuleSet ruleSet, java.lang.String src)
java.util.List<ProvaSolution[]>	consultSyncInternal(ProvaReagent prova, java.io.BufferedReader in, java.lang.String key, java.lang.Object[] objects)
java.util.List<ProvaSolution[]>	consultSyncInternal(ProvaReagent prova, java.lang.String src, java.lang.String key, java.lang.Object[] objects)
ProvaLiteral	generateCachedLiteral(java.lang.String symbol, ProvaList terms, ProvaCacheState cacheState, ProvaLocalAnswers answers)
ProvaConstant	generateGlobalConstant(java.lang.String name)
ProvaRule	generateGoal(ProvaLiteral[] body)
ProvaRule	generateGoal(ProvaLiteral[] body, java.util.List<ProvaVariable> variables)
ProvaRule	generateGoal(ProvaUnification unification, ProvaDerivationNode node, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset, java.util.List<ProvaVariable> variables)
ProvaLiteral	generateHeadLiteral(java.lang.String symbol, ProvaList terms)
ProvaLiteral	generateLiteral(ProvaObject[] data)
ProvaLiteral	generateLiteral(java.lang.String symbol)
ProvaLiteral	generateLiteral(java.lang.String symbol, ProvaList terms)
ProvaLiteral	generateLiteral(java.lang.String symbol, ProvaList terms, java.util.List<ProvaLiteral> guard)
ProvaLiteral	generateLiteral(java.lang.String symbol, ProvaObject[] data, int offset)
ProvaPredicate	generatePredicate(java.lang.String symbol, int arity)
ProvaRule	generateRule(long ruleId, ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	generateRuleA(ProvaLiteral lit, ProvaLiteral[] provaLiterals)
ProvaRule	generateSolveGoal(ProvaResultSet resultSet, ProvaLiteral[] body)
ProvaConstant	getGlobalByName(java.lang.String name)
ProvaPredicate	getOrGeneratePredicate(java.lang.String symbol, int arity)
ProvaPredicate	getPredicate(java.lang.String symbol, int arity)
java.util.concurrent.ConcurrentMap<java.lang.String,ProvaPredicate>	getPredicates()
ProvaRuleSet	getPredicates(java.lang.String symbol)
ProvaRuleSet	getPredicates(java.lang.String symbol, int arity)
java.io.PrintWriter	getPrintWriter()
boolean	isCachePredicate(java.lang.String symbol)
void	setGlobalConstant(java.lang.String name, java.lang.Object value)
void	setGlobals(java.util.Map<java.lang.String,java.lang.Object> globals)
void	setPrintWriter(java.io.PrintWriter printWriter)
void	unconsultSync(java.lang.String src)
void	updateContext(java.lang.String filename)

Method Detail

generatePredicate

ProvaPredicate generatePredicate(java.lang.String symbol,
                                 int arity)

getPredicates

ProvaRuleSet getPredicates(java.lang.String symbol)

getPredicates

ProvaRuleSet getPredicates(java.lang.String symbol,
                           int arity)

getPredicates

java.util.concurrent.ConcurrentMap<java.lang.String,ProvaPredicate> getPredicates()

generateLiteral

ProvaLiteral generateLiteral(java.lang.String symbol,
                             ProvaList terms)

generateRule

ProvaRule generateRule(ProvaLiteral head,
                       ProvaLiteral[] body)

generateGoal

ProvaRule generateGoal(ProvaLiteral[] body)

generateLiteral

ProvaLiteral generateLiteral(java.lang.String symbol)

generateRule

ProvaRule generateRule(ProvaLiteral head,
                       ProvaLiteral[] newGoals,
                       ProvaLiteral[] body,
                       int offset)

generateRuleA

ProvaRule generateRuleA(ProvaLiteral lit,
                        ProvaLiteral[] provaLiterals)

generateSolveGoal

ProvaRule generateSolveGoal(ProvaResultSet resultSet,
                            ProvaLiteral[] body)

generateCachedLiteral

ProvaLiteral generateCachedLiteral(java.lang.String symbol,
                                   ProvaList terms,
                                   ProvaCacheState cacheState,
                                   ProvaLocalAnswers answers)

setPrintWriter

void setPrintWriter(java.io.PrintWriter printWriter)

getPrintWriter

java.io.PrintWriter getPrintWriter()

getGlobalByName

ProvaConstant getGlobalByName(java.lang.String name)

generateGlobalConstant

ProvaConstant generateGlobalConstant(java.lang.String name)

setGlobalConstant

void setGlobalConstant(java.lang.String name,
                       java.lang.Object value)

setGlobals

void setGlobals(java.util.Map<java.lang.String,java.lang.Object> globals)

consultSyncInternal

java.util.List<ProvaSolution[]> consultSyncInternal(ProvaReagent prova,
                                                    java.lang.String src,
                                                    java.lang.String key,
                                                    java.lang.Object[] objects)

consultSyncInternal

java.util.List<ProvaSolution[]> consultSyncInternal(ProvaReagent prova,
                                                    java.io.BufferedReader in,
                                                    java.lang.String key,
                                                    java.lang.Object[] objects)

generateHeadLiteral

ProvaLiteral generateHeadLiteral(java.lang.String symbol,
                                 ProvaList terms)

generateLiteral

ProvaLiteral generateLiteral(java.lang.String symbol,
                             ProvaObject[] data,
                             int offset)

generateLiteral

ProvaLiteral generateLiteral(ProvaObject[] data)

addCachePredicate

void addCachePredicate(java.lang.String symbol)

isCachePredicate

boolean isCachePredicate(java.lang.String symbol)

generateLiteral

ProvaLiteral generateLiteral(java.lang.String symbol,
                             ProvaList terms,
                             java.util.List<ProvaLiteral> guard)

getOrGeneratePredicate

ProvaPredicate getOrGeneratePredicate(java.lang.String symbol,
                                      int arity)

getPredicate

ProvaPredicate getPredicate(java.lang.String symbol,
                            int arity)

addClauseSetToSrc

void addClauseSetToSrc(ProvaRuleSet ruleSet,
                       java.lang.String src)

unconsultSync

void unconsultSync(java.lang.String src)

generateGoal

ProvaRule generateGoal(ProvaLiteral[] body,
                       java.util.List<ProvaVariable> variables)

generateRule

ProvaRule generateRule(long ruleId,
                       ProvaLiteral head,
                       ProvaLiteral[] body)

generateGoal

ProvaRule generateGoal(ProvaUnification unification,
                       ProvaDerivationNode node,
                       ProvaLiteral[] newGoals,
                       ProvaLiteral[] body,
                       int offset,
                       java.util.List<ProvaVariable> variables)

updateContext

void updateContext(java.lang.String filename)