clone

abstract override fun clone(): AbstractPrologSolver