SWI-Prolog
norbert.hartl