Swi prolog dev