home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / DATE3.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  205 b   |  10 lines
  1. %====================== date/3                ===============================
  2. Goal: date(Y,M,D)
  3. Y=1980, M=1, D=3
  4. 1 Solution
  5. Goal: date(1988,3,3)
  6. True
  7. Goal: date(Y,M,D)
  8. Y=1988, M=3, D=3
  9. 1 Solution
  10.