swi prolog sources added