Prolog Calling Foreign Code