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