Assert with concepts

"Laecio Lima" <[email protected]> Fri, 6 Apr 2007 10:29:35 -0300
Newsgroups gmane.comp.ai.powerloom
Message-ID <[email protected]>
 <[email protected]>Hy. See the comands below:

defconcept(Person ?x)
defrelation(likes ((Person ?x)(Person ?x))

assert(Person James)
assert(not(Person Frank))

assert(likes James Frank)

that create the relation without problems. How can I do to make that this
assert returns a error for Frank don't be a Person?

thanks. <[email protected]>

-- 
Laécio Lima dos Santos
graduando em Ciências da Computação, UnB
Brasilia, DF - Brasil

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