org.provarules.kernel2

Interface ProvaBuiltin

All Superinterfaces:

ProvaPredicate

All Known Implementing Classes:

ProvaAddGroupResultImpl, ProvaAssertAImpl, ProvaAssertImpl, ProvaAtImpl, ProvaAttachImpl, ProvaBoundImpl, ProvaBuiltinImpl, ProvaByteStreamImpl, ProvaCacheImpl, ProvaCaptureEnumImpl, ProvaCloneImpl, ProvaConcatImpl, ProvaConstructorImpl, ProvaConsultImpl, ProvaCopyImpl, ProvaCopyStreamImpl, ProvaCutImpl, ProvaDeriveImpl, ProvaElementImpl, ProvaEqualsImpl, ProvaEqualsMinusImpl, ProvaExpressionLiteralImpl, ProvaFailImpl, ProvaFopenImpl, ProvaFreeImpl, ProvaGreaterEqualImpl, ProvaGreaterImpl, ProvaIamImpl, ProvaInitJoinImpl, ProvaInitPredicateJoinImpl, ProvaInsertImpl, ProvaJavaPredicateImpl, ProvaJoinTestImpl, ProvaLengthImpl, ProvaLessEqualImpl, ProvaLessImpl, ProvaListenImpl, ProvaMapMergeImpl, ProvaMatchImpl, ProvaMathAddImpl, ProvaMathDivideImpl, ProvaMathMultiplyImpl, ProvaMathRemainderImpl, ProvaMathSubtractImpl, ProvaMkListImpl, ProvaNotEqualsImpl, ProvaParseListImpl, ProvaParseNvImpl, ProvaPredicateJoinExitImpl, ProvaPredicateJoinTestImpl, ProvaPrintImpl, ProvaPrintlnImpl, ProvaReadEnumImpl, ProvaReceiveMsgImpl, ProvaReceiveMsgPImpl, ProvaReceiveMultImpl, ProvaRetractAllImpl, ProvaRetractImpl, ProvaReverseImpl, ProvaSendMsgImpl, ProvaSendMsgSyncImpl, ProvaSolveImpl, ProvaSparqlAskImpl, ProvaSparqlConnectImpl, ProvaSparqlDisconnectImpl, ProvaSparqlQueryImpl, ProvaSparqlSelectImpl, ProvaSpawnImpl, ProvaStopPredicateJoinImpl, ProvaTemporalRuleRemoveImpl, ProvaTokenizeEnumImpl, ProvaTokenizeListImpl, ProvaTypeImpl, ProvaUnescapeImpl, ProvaUniqueIdImpl, ProvaUnlistenImpl, ProvaUpdateCacheImpl, ProvaUpdateImpl

public interface ProvaBuiltin
extends ProvaPredicate

Method Summary

Modifier and Type	Method and Description
boolean	process_(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)
boolean	process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Methods inherited from interface org.provarules.kernel2.ProvaPredicate

addClause, addClauseA, equals, getArity, getClauseSet, getKnowledgeBase, getSymbol, setKnowledgeBase

Method Detail

process

boolean process(ProvaReagent prova,
                ProvaDerivationNode node,
                ProvaGoal goal,
                java.util.List<ProvaLiteral> newLiterals,
                ProvaRule query)

process_

boolean process_(ProvaReagent prova,
                 ProvaDerivationNode node,
                 ProvaGoal goal,
                 java.util.List<ProvaLiteral> newLiterals,
                 ProvaRule query)