Hi Dean,

> #(prove (goal '(equal 3 @X)   ))

'goal' needs a list of clauses:

   : (prove (goal '((equal 3 @X))))
   -> ((@X . 3))


> #: (prove (goal '(     (equal 3 @X) (member @X (1 2 4))   )))
> #-> NIL
> #: (prove (goal '(     (equal 3 @X) (member @X (1 2 3))   )))
> #-> ((@X . 3))

OK


> #(prove (goal '(
> #            (equal @Profit (- @Sales @Cogs))

Did you define a '-' predicate?

♪♫ Alex
-- 
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to