home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / SAVE1.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  528 b   |  27 lines
  1. %====================== save/1                ===============================
  2. DOMAINS
  3.   LIST = INTEGER*
  4.  
  5. DATABASE
  6.   fact1(INTEGER,STRING,LIST)
  7.   fact2(INTEGER,STRING)
  8.  
  9. CLAUSES
  10.   fact1(1,"fact1",[1,2,3]).
  11.   fact1(2,"fact2",[1,3]).
  12.   fact1(3,"fact2",[3,2,1]).
  13.  
  14.   fact2(1,"one").
  15.   fact2(1,"one once more").
  16.   fact2(2,"two").
  17.  
  18.   -------- Dialog --------
  19. Goal: save("con")
  20. fact1(1,"fact1",[1,2,3])
  21. fact1(2,"fact2",[1,3])
  22. fact1(3,"fact2",[3,2,1])
  23. fact2(1,"one")
  24. fact2(1,"one once more")
  25. fact2(2,"two")
  26. True
  27.