Did you know ... Search Documentation:
Profile for user dsp

Comments by dsp

Sec. A.35There is no negation in SWI-Prolog's tabling.