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