added swi-prolog to readme