Package jason.stdlib
Class asserta
java.lang.Object
jason.asSemantics.DefaultInternalAction
jason.stdlib.asserta
- All Implemented Interfaces:
InternalAction
,Serializable
@Manual(literal=".asserta(belief)",
hint="adds a new belief using prolog like rules",
argsHint="the belief that will be added at the beginning of the base",
argsType="literal",
examples=".asserta(p): adds p at the beginning of the belief base",
seeAlso={"jason.stdlib.assertz","jason.stdlib.abolish"})
public class asserta
extends DefaultInternalAction
Internal action: .asserta
.
Description: adds a new belief as the "+" (or "+invalid input: '<'") operator. However, it can be used in prolog like rules.
Parameters:
- + belief (literal): the belief that will be added at the beginning of the belief base.
Examples:
-
.asserta(p)
: addsp
at the beggining of the belief base.
- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionprotected void
checkArguments
(Term[] args) execute
(TransitionSystem ts, Unifier un, Term[] args) Executes the internal action.int
int
Methods inherited from class jason.asSemantics.DefaultInternalAction
canBeUsedInContext, destroy, prepareArguments, suspendIntention
-
Constructor Details
-
asserta
public asserta()
-
-
Method Details
-
getMinArgs
public int getMinArgs()- Overrides:
getMinArgs
in classDefaultInternalAction
-
getMaxArgs
public int getMaxArgs()- Overrides:
getMaxArgs
in classDefaultInternalAction
-
checkArguments
- Overrides:
checkArguments
in classDefaultInternalAction
- Throws:
JasonException
-
execute
Description copied from interface:InternalAction
Executes the internal action. It should return a Boolean or an Iterator. A true boolean return means that the IA was successfully executed. An Iterator result means that there is more than one answer for this IA (e.g. see member internal action). - Specified by:
execute
in interfaceInternalAction
- Overrides:
execute
in classDefaultInternalAction
- Throws:
Exception
-