SWI-Prolog
doubledong94