home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / SLEEP.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  399 b   |  20 lines
  1. %===========================  sleep  ============================
  2. /*
  3.    Example for :  MARKTIME, TIMEOUT, SLEEP
  4. */   
  5. PREDICATES
  6.   ttimeout(real)
  7.  
  8. CLAUSES
  9.   ttimeout(TM):- timeout(TM), !.
  10.   ttimeout(TM):-
  11.     write("\nNo timeout, sleep 0.5 secs"),
  12.     sleep(50),
  13.     ttimeout(TM).
  14.  
  15. GOAL
  16.     write("Mark time for four secs and timeout"),
  17.     marktime(400,TM),
  18.     ttimeout(TM),
  19.     write("\nBINGO\n").
  20.