dsl-theory
it.unibo.tuprolog.dsl.theory