Ok I'll keep trying and thank you for the pointers. Best Regardsd Dean On 27 November 2016 at 07:33, Alexander Burger <a...@software-lab.de> wrote:
> 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 >