I'm quite shaky on this so started with a simple example and added stuff. Unfortunately, I've come off the rails somewhere but am not sure wjy or what to do about it. Any advice...much appreciated.
#(prove (goal '(equal 3 @X) )) #: (prove (goal '( (equal 3 @X) (member @X (1 2 4)) ))) #-> NIL #: (prove (goal '( (equal 3 @X) (member @X (1 2 3)) ))) #-> ((@X . 3)) #(prove (goal '( # (equal @Profit (- @Sales @Cogs)) # (member @Profit (100 200 300)) # (member @Sales (100 250 300)) # (member @Cogs (100 50 300)) ## ))) (prove (goal '( (equal @Profit (- @Sales @Cogs)) (member @Profit (100 200 300)) (member @Sales (100 250 300)) (member @Cogs (100 50 300)) )))
