1In the current implementation, exceptions thrown by B-Prolog are not compliant with the documentation.