A scheme for dynamically integrating C library functions into a λProlog implementation. - Duanyang Jing (CoRR, 2019)