> Prolog always evaluates through unification (at least in theory). What do you mean? The actual "computational" part of Prolog lies more in resolution than i

> Prolog always evaluates through unification (at least in theory). What do you mean? The actual "computational" part of Prolog lies more in resolution than in unification. Unification does not "evaluate" in any sense of the word I'm familiar with. > the same prolog programs can at least theoretically produce two different answers to the same input. What do you mean? Do you mean through side effects, or are you suggesting that Prolog's evaluation order or something else is not fully specified and deterministic? You would be wrong about the latter. EDIT: > Verse has a defined denotational semantics What do you mean? Verse (or rather the underlying calculus VC) has a rewrite semantics. Rewriting is pretty operational and not at all denotational.