XSB/packages/iprolog/tests
