Re: Declarative constraints in practical terms

vc wrote:
> Prolog is certainly not a 'pure' declarative language. However, you
> have it backwards -- it's a logic programming language with a lot of
> non-logical and imperative features (cut, IO, assert/retract, etc).
> When you excise the non-pure part, you'll be left with a subset of FOL
> (Horn clauses) and the SLD resolution.

Yes, and C is a pure functional programming language, once you remove destructive update and IO and explicit memory management :-)

• Ralph