On Sat, Feb 12, 2022 at 8:37 AM Alexander Burger
wrote:
>
> > >(be + (@A @B @C)
> > > (^ @C (+ @A @B))
> > > T )
> > >
> > >(be + (@A @B @C)
> > > (^ @B (- @C @A))
> > > T )
> > I suppose pilog search for rules in order, so the goal (? (+ 3 @X 7))
> > always match
On Tue, Feb 15, 2022 at 06:34:58PM +0100, pd wrote:
> > It tries the first one but does not succeed. The second one matches, so the
> > others are not tried because of the cut.
>
> This is interesting, in my understanding when matching the first rule it
> should try to unify @C to the result of @
