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:[email protected]?subject=Unsubscribe
