home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / NOT1.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  322 b   |  12 lines
  1. %====================== not/1                 ===============================
  2. Goal: not(2>3)
  3. True
  4. Goal: not(2<3)
  5. False
  6. Goal: not(concat("aaa","bbb","aaa-bbb"))
  7. True
  8. Goal: not(not(concat("aaa","bbb","aaa-bbb")))
  9. False
  10. Goal: not(concat("aaa","bbb",X))
  11. 704  Free variable are not allowed in 'not' or 'retractall'.
  12.