SWI-Prolog
ppadilcdx