SWI-Prolog
nspan