# TODO install SWI-Prolog