SWI-Prolog
doublec