org.kahina.prolog.editor