SWI-Prolog
lug