public final class GetTime extends AbstractSingleResultPredicate
get_time(X)
- gets the current system time.
Attempts to unify X
with an integer term representing the value returned from
java.lang.System.currentTimeMillis()
.
Constructor and Description |
---|
GetTime() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
evaluate(Term t) |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAlwaysCutOnBacktrack
protected boolean evaluate(Term t)
evaluate
in class AbstractSingleResultPredicate
Copyright © 2024. All rights reserved.