package prolog.ast.arithmetic

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

interface Expression : Term {
    /**
     * Returns the term that this expression evaluates to. (All the way down.)
     */
    fun simplify(subs: Substitutions): Simplification
}
