home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / TIME4.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  217 b   |  10 lines
  1. %====================== time/4                ===============================
  2. Goal: time(H,M,S,T)
  3. H=11, M=30, S=13, T=49
  4. 1 Solution
  5. Goal: time(0,0,0,0)
  6. True
  7. Goal: time(H,M,S,T)
  8. H=0, M=0, S=6, T=15
  9. 1 Solution
  10.