Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Declarative constraints in practical terms

Re: Declarative constraints in practical terms

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 27 Feb 2006 14:16:56 -0800
Message-ID: <1141078616.348526.3430@z34g2000cwc.googlegroups.com>


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

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US