Add declarations for some missing proprietary built-in predicates to the B-Prolog and YAP adapter files