[m-users.] Some help with understanding the mode system?

[Volker Wysk]

Am Freitag, dem 28.06.2024 um 21:17 +0200 schrieb Anders Lundstedt:
> 
> MWE, with comments explaining my reasoning:

What does "MWE" mean?

> p(a, _).
> p(_, b).
> 
> % everything works if I change the implementation to:
> %
> % p(a,a).
> % p(a,b).
> % p(b,a).

I guess you meant to write:

p(a, _).
p(_, a). 

Volker