> The problem is that the method's selector is #logicArg which has 0
> arguments, but somehow it has an argument: assoc. And some assignments
> seem to be unnecessary.

Yes, but it's not a problem for Prolog. It's actually the way it's 
implemented (not by me BTW). It does work fine, once the warning error 
is bypassed.

Stef