Hi Dean On Sun, Nov 27, 2016 at 05:42:21PM +0000, dean wrote: > (prove (goal '( (^ @X (- (-> @A) (-> @B) )) (equal @A 4) (equal @B 2) ))) > -> NIL > > -> wasn't the "one" in this case
I'm not sure I understand the problem, but the most natural way for a diff predicate is perhaps : (be - (@A @B @Diff) (^ @Diff (- (-> @A) (-> @B))) ) -> - : (? @X 7 @Y 3 (- @X @Y @Res)) @X=7 @Y=3 @Res=4 : (? (- 10 3 @X)) @X=7 ♪♫ Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe