SWI-Prolog
l4e21