home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / EXAMPLES / CH17EX04.PRO < prev    next >
Encoding:
Prolog Source  |  1990-03-26  |  304 b   |  18 lines
  1. /*
  2.    Copyright (c) 1986, 90 by Prolog Development Center
  3. */
  4. predicates
  5.   ttimeout(real)
  6.  
  7. clauses
  8.   ttimeout(TM):- timeout(TM), !.
  9.   ttimeout(TM):-
  10.     write("\nNo timeout, sleep 0.5 secs"),
  11.     sleep(50),
  12.     ttimeout(TM).
  13.  
  14. goal
  15.     marktime(400,TM),    % 4 secs
  16.     ttimeout(TM),
  17.     write("\nBINGO!\n").
  18.