Entity: predicate

get_time( Hour : Minute / Second)
get_time( Hour : Minute / Second | Milliseconds)

Gets current time. The arguments have to be not-instantiated (to receive the time) or to contain a time information to be compared with the current time.


?- repeat, get_time(H:M/0), Str is "It is sharply " + print(H) + ":" + print(M), write(Str), nl.

This example waits for sharp time to strike (zero seconds) and then prints it in a message in Output window and stops.