dsl-unify

it.unibo.tuprolog.dsl.unify

fact()

prolog()

PrologScopeWithUnification

PrologScopeWithUnificationImpl

rule()

scope()