prolog_primitives
