SWI-Prolog
dsp