home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / REFEXAMP.ARC / STRINT2.PRO < prev    next >
Encoding:
Text File  |  1988-06-21  |  311 b   |  19 lines
  1. %====================== str_int/2             ===============================
  2. Goal: str_int("123",INT)
  3. INT=123
  4. 1 Solution
  5.  
  6. Goal: str_int(STR,123)
  7. STR=123
  8. 1 Solution
  9.  
  10. Goal: str_int("123",123)
  11. True
  12.  
  13. Goal: str_int("   -123  ",INT)
  14. INT=-123
  15. 1 Solution
  16.  
  17. Goal: str_int("   -1x23  ",INT)
  18. No Solution
  19.