Re: Declarative constraints in practical terms

ralphbecket_at_gmail.com wrote:
> Rougly speaking, a declarative logic language should
> - not have side effects;
> - be order independent (i.e., respect the commutativity
> of conjunction and disjunction and be sound w.r.t.
> negation, if supported); and
> - functions (if any) should be referentially transparent.
>
> Have a look at Mercury for an example of a pragmatic,
> general purpose, high performance declarative
> programming language.

In a truly declarative language predicates shouldn't have the "mode" declarations Received on Mon Feb 27 2006 - 23:16:56 CET