tuPrologJSR233