committing new test for the prolog side api