reorganising the tests of the Prolog side API