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

Comments by dsp

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