Implementing dynamic (runtime) loading of Prolog drivers