Attempts to unify X with an integer term representing the value returned from java.lang.System.currentTimeMillis().
Example
validate_get_time :- get_time(X), X>1000000000000, get_time(Y), Y>=X.
?- validate_get_time.
yesget_time(X) - gets the current system time.Attempts to unify X with an integer term representing the value returned from java.lang.System.currentTimeMillis().
validate_get_time :- get_time(X), X>1000000000000, get_time(Y), Y>=X.
?- validate_get_time.
yes