Re: Retrieve question

On Dec 27, 2007, at 3:49 AM, Laecio Lima wrote:

> Please,
>
> With the knowledge base below:
>
> (defconcept(starship ?st))
>
The proper syntax for a concept definition with no superclass would be

   (defconcept starship)

or

   (defconcept starship (?st))

>
> (assert (starship ST0))
> (assert (starship ST1))
> (assert (starship ST2))
>
> I need recover all starships don't equal to ST1 (ST0 and ST2).
> I try use the retrieve command but don't can't build the correct  
> statement.

(retrieve all (and (starship ?s) (not (= ?s st1))))


PL-USER |= (retrieve all (and (starship ?s) (not (= ?s st1))))

There are 2 solutions:
   #1: ?S=ST2
   #2: ?S=ST0

>
> thanks. (sorry for my poor english).
> _______________________________________________
> powerloom-forum mailing list
> [email protected]
> http://mailman.isi.edu/mailman/listinfo/powerloom-forum