home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / prolog / 2060 < prev    next >
Encoding:
Internet Message Format  |  1992-11-11  |  872 b 
  1. Path: sparky!uunet!charon.amdahl.com!pacbell.com!network.ucsd.edu!news.acns.nwu.edu!uicvm.uic.edu!u37956
  2. Organization: University of Illinois at Chicago
  3. Date: Wednesday, 11 Nov 1992 11:38:30 CST
  4. From: <U37956@uicvm.uic.edu>
  5. Message-ID: <92316.113830U37956@uicvm.uic.edu>
  6. Newsgroups: comp.lang.prolog
  7. Subject: Retract static clauses, can't ?
  8. Lines: 19
  9.  
  10. Using Sicstus2.1 Prolog, I want to retract some facts (or clauses) which
  11. were loaded from a file.
  12.    Suppose in  mfile, there are facts:
  13.           johnlikes(mary).
  14.           marylikes(tom).
  15.  
  16. After starting prolog, i load the facts in the following way:
  17.    |- ? [mfile].
  18.  
  19. When I try to remove a fact, such as:
  20.    |- ? retract((marylikes(tom))).
  21.  
  22. I got error message which says static terms can't be retracted.
  23.  
  24. How can i retract the facts and how can i made the facts dynamic ?
  25.  
  26. Could anyone tell me?
  27.  
  28. Thanks in advance.
  29.