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 - 16:16:56 CST
