Re: too simple trace

[Salvador Abreu]

Gilles Dégottex <address@hidden> wrote:

>       I think gprolog does a too much simple trace on this exemple:
> 
> permutation([], []).
        [...]

Call the predicates something else, as permutation/2 and select/3 are
built-ins (part of the library) and can't be redefined.

When consulting this code you should have gotten these warnings:

error: user:2: native code procedure permutation/2 cannot be redefined (ignored)
error: user:7: native code procedure select/3 cannot be redefined (ignored)

What you're getting is the regular behaviour for native code predicates,
ie. basically untraceable. :)

-- 
 ../salvador