public class add_nested_source extends DefaultInternalAction
Internal action: .add_nested_source
.
Description: adds a source annotation to a literal (used in communication).
Parameters:
Examples:
.add_nested_source(a,jomi,B)
: B
unifies with a[source(jomi)]
..add_nested_source([a1,a2], jomi, B)
: B
unifies with [a1[source(jomi)], a2[source(jomi)]]
..add_nested_source(a[source(bob)],jomi,B)
:
B
unifies with a[source(jomi)[source(bob)]]
,
which means `I believe in a
and the source for that is
agent jomi, the source for jomi was bob'; bob sent a tell to jomi that
sent a tell to me.Constructor and Description |
---|
add_nested_source() |
Modifier and Type | Method and Description |
---|---|
static Term |
addAnnotToList(Term l,
Term source) |
static InternalAction |
create() |
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
Executes the internal action.
|
int |
getMaxArgs() |
int |
getMinArgs() |
canBeUsedInContext, checkArguments, destroy, prepareArguments, suspendIntention
public static InternalAction create()
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