dsl-theory/it.unibo.tuprolog.dsl.theory/LogicProgrammingScopeImpl/copy

copy

open override fun copy(scope: Scope): LogicProgrammingScope

Copies this scope onto scope, propagating it to termificator and variablesProvider as well.

open override fun copy(unificator: Unificator): LogicProgrammingScope

Copies this scope onto unificator, propagating it to theoryFactory as well.