SWI-Prolog
Ataraxia