Graph Theory written in SWI-Prolog