SWI-Prolog
AW9990