[PowerLoom Forum] Question about closed world
Anderson
andy.anderson at bol.com.br
Mon Jan 17 03:34:20 PST 2005
Hello
I can't understand the CLOSED world in PowerLoom. I think the correct
answer of the last question (text below) is FALSE, but a receive an
UNKNOWN. Please, can someone help-me? Thanks in advance.
Anderson from São Paulo, Brasil.
MSN: f1r3574r73r at hotmail.com
ICQ: 124462208
(defconcept ACONCEPT)
(defconcept BCONCEPT)
(assert (ACONCEPT A))
(ask (not (BCONCEPT A)))
UNKNOWN
(ask (BCONCEPT A))
UNKNOWN
(assert (CLOSED BCONCEPT))
(ask (not (BCONCEPT A)))
TRUE
(ask (BCONCEPT A))
UNKNOWN
More information about the powerloom-forum
mailing list