Re: Declarative constraints in practical terms
Date: 27 Feb 2006 14:16:56 -0800
> 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