SWI-Prolog
d-vyd