SWI-Prolog
quanex1