SWIPL_wrapper
