org.kahina.prolog.profiler