linking with swi-prolog