prolog_assert

prolog_assert