copy

abstract fun copy(unificator: Unificator): S

Creates a copy of this scope, backed by the same it.unibo.tuprolog.core.Scope, using unificator instead of the current one.