org.kahina.prolog.bridge