public class relevant_rules extends DefaultInternalAction
Internal action: .relevant_rules
.
Description: gets all rules that can be used to prove some literal.
Parameters:
Example:
.relevant_rules( p(_),LP)
: unifies LP with a list of
all rules with head p/1.Constructor and Description |
---|
relevant_rules() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action.
|
int |
getMaxArgs() |
int |
getMinArgs() |
canBeUsedInContext, checkArguments, destroy, prepareArguments, suspendIntention
public int getMinArgs()
getMinArgs
in class DefaultInternalAction
public int getMaxArgs()
getMaxArgs
in class DefaultInternalAction
public java.lang.Object execute(TransitionSystem ts, Unifier un, Term[] args) throws java.lang.Exception
InternalAction
execute
in interface InternalAction
execute
in class DefaultInternalAction
java.lang.Exception