public class date extends DefaultInternalAction
Internal action: .date(YY,MM,DD)
.
Description: gets the current date (year, month, and day of the month).
Parameters:
Examples:
.date(Y,M,D)
: unifies Y with the current year, M
with the current month, and D with the current day..date(2006,12,30)
: succeeds if the action is run on
30/Dec/2006 and fails otherwise.time
,
Serialized FormConstructor and Description |
---|
date() |
Modifier and Type | Method and Description |
---|---|
static InternalAction |
create() |
java.lang.Object |
execute(TransitionSystem ts,
Unifier un,
Term[] args)
date(YY,MM,DD)
|
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
execute
in interface InternalAction
execute
in class DefaultInternalAction
java.lang.Exception