Unexpected Powerloom truth maintenance behavior....

(defmodule "TEST"

  :includes ("PL-USER"))

(in-module "TEST")



;(clear-module "TEST")

(reset-features)



(defconcept person (?x))

(defrelation spouse ((?x person) (?y person))

  :axioms (symmetric spouse))



(assert (spouse jack jill))  ; expect (person jack) (person jill) to be also asserted because of  domain of  person 



(ask (person jack))

TRUE                                     
;; as expected



(retract (spouse jack jill))          ;; expect (person jack) to also be retracted by truth maintenance system



(ask (person jack))

TRUE                                    
;; unexpected



Am I missing something.



Thanks

Srini

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum