In preparation to do a predicate 'minus' I thought I see how to use lisp '-' within pilog. The first statement works re getting a 100% lisp calculation out to pilog but.... I think I need to pass in pilog variables and apply - to them...unless pilog has a -. Many apologies if I should know how to do this.
: (prove (goal '( (^ @X (- 4 2)) (equal @A 4) (equal @B 2) ))) -> ((@X . 2) (@A . 4) (@B . 2)) : (prove (goal '( (^ @X (- @A @B)) (equal @A 4) (equal @B 2) ))) -> NIL On 27 November 2016 at 08:46, dean <[email protected]> wrote: > Ok I'll keep trying and thank you for the pointers. > Best Regardsd > Dean > > On 27 November 2016 at 07:33, Alexander Burger <[email protected]> > 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:[email protected]?subject=Unsubscribe >> > >
