public class reverse extends DefaultInternalAction
Internal action: .reverse
.
Description: reverses strings or lists.
Parameters:
Examples:
.reverse("abc",X)
: X
unifies with "cba".
.reverse("[a,b,c]",X)
: X
unifies with "[c,b,a]".
.reverse("[a,b,c|T]",X)
: X
unifies with "[c,b,a|T]".
concat
,
delete
,
length
,
nth
,
max
,
member
,
min
,
sort
,
substring
,
difference
,
intersection
,
union
,
Serialized FormConstructor and Description |
---|
reverse() |
Modifier and Type | Method and Description |
---|---|
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