SWI-Prolog
cppljevans