parser-theory
it.unibo.tuprolog.theory.parsing