swipl-sys Bindgen generated bindings to SWI-Prolog. See http://www.swi-prolog.org/pldoc/man?section=foreign for usage.