SWI-Prolog
AdamSobieski