prolog_primitives
test
