home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / DELFILE1.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  223 b   |  10 lines
  1. %====================== deletefile/1          ===============================
  2. Goal: file_str("dd.txt",X)
  3. X=File with one line
  4. 1 Solution
  5. Goal: deletefile("dd.txt")
  6. True
  7. Goal: file_str("dd.txt",X)
  8. No Solution
  9. Goal:
  10.