home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / TRACE1.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  134 b   |  6 lines
  1. %====================== trace/1              ===============================
  2. GOAL
  3.     trace(off),
  4.     works_already(X, Z),
  5.     trace(on).
  6.