org.kahina.prolog.util