Update swip.pl