Visual- and SWI-Prolog samples