org.provarules.reference2

Class ProvaKnowledgeBaseImpl

java.lang.Object

org.provarules.reference2.ProvaKnowledgeBaseImpl

All Implemented Interfaces:

ProvaKnowledgeBase

public class ProvaKnowledgeBaseImpl
extends java.lang.Object
implements ProvaKnowledgeBase

Constructor Summary

Constructors

Constructor and Description
ProvaKnowledgeBaseImpl()

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) Assume that the first element of the array is the predicate symbol
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) Called from ProvaMessengerImpl.
ProvaRule	generateRule(ProvaLiteral head, ProvaLiteral[] body)
ProvaRule	generateRule(ProvaLiteral head, ProvaLiteral[] newGoals, ProvaLiteral[] body, int offset)
ProvaRule	generateRuleA(ProvaLiteral head, ProvaLiteral[] body) Add the rule in front of others in the collection.
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	shutdown()
void	unconsultSync(java.lang.String src)
void	updateContext(java.lang.String src)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProvaKnowledgeBaseImpl

public ProvaKnowledgeBaseImpl()

Method Detail

consultSyncInternal

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

Specified by:

consultSyncInternal in interface ProvaKnowledgeBase

updateContext

public void updateContext(java.lang.String src)

Specified by:

updateContext in interface ProvaKnowledgeBase

consultSyncInternal

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

Specified by:

consultSyncInternal in interface ProvaKnowledgeBase

generatePredicate

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

Specified by:

generatePredicate in interface ProvaKnowledgeBase

getGlobalByName

public ProvaConstant getGlobalByName(java.lang.String name)

Specified by:

getGlobalByName in interface ProvaKnowledgeBase

getPredicates

public ProvaRuleSet getPredicates(java.lang.String symbol)

Specified by:

getPredicates in interface ProvaKnowledgeBase

getPredicates

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

Specified by:

getPredicates in interface ProvaKnowledgeBase

getPredicates

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

Specified by:

getPredicates in interface ProvaKnowledgeBase

generateLiteral

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

Specified by:

generateLiteral in interface ProvaKnowledgeBase

generateLiteral

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

Specified by:

generateLiteral in interface ProvaKnowledgeBase

generateLiteral

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

Specified by:

generateLiteral in interface ProvaKnowledgeBase

generateLiteral

public ProvaLiteral generateLiteral(ProvaObject[] data)

Assume that the first element of the array is the predicate symbol

Specified by:

generateLiteral in interface ProvaKnowledgeBase

getPredicate

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

Specified by:

getPredicate in interface ProvaKnowledgeBase

getOrGeneratePredicate

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

Specified by:

getOrGeneratePredicate in interface ProvaKnowledgeBase

generateHeadLiteral

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

Specified by:

generateHeadLiteral in interface ProvaKnowledgeBase

generateRule

public ProvaRule generateRule(ProvaLiteral head,
                              ProvaLiteral[] body)

Specified by:

generateRule in interface ProvaKnowledgeBase

generateRule

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

Called from ProvaMessengerImpl. Generate a temporal rule like @temporal_rule or @temporal_rule_control. These rules have ruleId that is negative.

Specified by:

generateRule in interface ProvaKnowledgeBase

generateRuleA

public ProvaRule generateRuleA(ProvaLiteral head,
                               ProvaLiteral[] body)

Add the rule in front of others in the collection.

Specified by:

generateRuleA in interface ProvaKnowledgeBase

generateGoal

public ProvaRule generateGoal(ProvaLiteral[] body)

Specified by:

generateGoal in interface ProvaKnowledgeBase

generateGoal

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

Specified by:

generateGoal in interface ProvaKnowledgeBase

generateSolveGoal

public ProvaRule generateSolveGoal(ProvaResultSet resultSet,
                                   ProvaLiteral[] body)

Specified by:

generateSolveGoal in interface ProvaKnowledgeBase

generateLiteral

public ProvaLiteral generateLiteral(java.lang.String symbol)

Specified by:

generateLiteral in interface ProvaKnowledgeBase

generateRule

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

Specified by:

generateRule in interface ProvaKnowledgeBase

generateGoal

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

Specified by:

generateGoal in interface ProvaKnowledgeBase

generateCachedLiteral

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

Specified by:

generateCachedLiteral in interface ProvaKnowledgeBase

setPrintWriter

public void setPrintWriter(java.io.PrintWriter printWriter)

Specified by:

setPrintWriter in interface ProvaKnowledgeBase

getPrintWriter

public java.io.PrintWriter getPrintWriter()

Specified by:

getPrintWriter in interface ProvaKnowledgeBase

generateGlobalConstant

public ProvaConstant generateGlobalConstant(java.lang.String name)

Specified by:

generateGlobalConstant in interface ProvaKnowledgeBase

setGlobalConstant

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

Specified by:

setGlobalConstant in interface ProvaKnowledgeBase

setGlobals

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

Specified by:

setGlobals in interface ProvaKnowledgeBase

addCachePredicate

public void addCachePredicate(java.lang.String symbol)

Specified by:

addCachePredicate in interface ProvaKnowledgeBase

isCachePredicate

public boolean isCachePredicate(java.lang.String symbol)

Specified by:

isCachePredicate in interface ProvaKnowledgeBase

addClauseSetToSrc

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

Specified by:

addClauseSetToSrc in interface ProvaKnowledgeBase

unconsultSync

public void unconsultSync(java.lang.String src)

Specified by:

unconsultSync in interface ProvaKnowledgeBase

shutdown

public void shutdown()

Specified by:

shutdown in interface ProvaKnowledgeBase