package prolog.flags

import prolog.Substitutions
import prolog.ast.terms.Goal
import prolog.ast.terms.Term

/**
 * An exception that indicates that a shift has been applied in the Prolog engine.
 */
data class AppliedShift(
    val subs: Substitutions,
    val ball: Term,
    val cont: Term? = null,
) : Throwable()