home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l217 / 2.ddi / REFEXAMP / RETRACT1.PRO < prev    next >
Encoding:
Text File  |  1990-03-26  |  760 b   |  43 lines
  1. %====================== retract/1             ===============================
  2. DOMAINS
  3.   LIST = INTEGER*
  4.  
  5. DATABASE - dba1
  6.   fact1(INTEGER,STRING,LIST)
  7.  
  8. DATABASE - dba2
  9.   fact2(INTEGER,STRING)
  10.  
  11. CLAUSES
  12.   fact1(1,"fact1",[1,2,3]).
  13.   fact1(2,"fact2",[1,3]).
  14.   fact1(3,"fact2",[3,2,1]).
  15.  
  16.   fact2(1,"one").
  17.   fact2(1,"one once more").
  18.   fact2(2,"two").
  19.  
  20.   -------- Dialog --------
  21. Goal: fact1(X,Y,Z)
  22. X=1, Y=fact1, Z=[1,2,3]
  23. X=2, Y=fact2, Z=[1,3]
  24. X=3, Y=fact2, Z=[3,2,1]
  25. 3 Solutions
  26.  
  27. Goal: retract(fact1(X,Y,[_,2|Z]))
  28. X=1, Y=fact1, Z=[3]
  29. X=3, Y=fact2, Z=[1]
  30. 2 Solutions
  31.  
  32. Goal: retract(fact1(X,Y,Z))
  33. X=2, Y=fact2, Z=[1,3]
  34. 1 Solution
  35.  
  36. Goal: fact1(X,Y,Z)
  37. No Solution
  38.  
  39. Goal: retract(fact2(1,X))
  40. X=one
  41. X=one once more
  42. 2 Solutions
  43.