Re: Declarative constraints in practical terms


"dawn" <dawnwolthuis@xxxxxxxxx> wrote in message
news:1140722996.236105.166040@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

I'll buy that. Should I be looking at prolog or what would you suggest
as an excellent declarative language for the specification of
constraints?

http://www.cs.bris.ac.uk/~bowers/goedel.html

I guess I have my answer. This page reminded me that a while back I
did do something (an example of some sort) with modula-2. I'll take a
look at Godel.

You won't be able to use it in production.
It is just for learning (experimental).


.

Relevant Pages

  • Re: Can I append an ADO recordset to an Access table in one go?
    ... for the sole reason "not a best practice" and if you hadn't already ... Those "constraints" may mean that instead of 1 Best Practice solution, ... Because the moment the programmer knows something _specific_ about the data ... Natural Merge sort, Merge sort or one of the other ...
    (microsoft.public.data.ado)
  • Re: Methods to resolve this kind of differential equations
    ... This sort of equation, who knows. ... Possibly power series ... given those you can use variation of parameters on ... "Understanding Godel isn't about following his formal proof. ...
    (sci.math)
  • Re: When to use check constraints and when to use small tables?
    ... and you don't want to have to change the app or the ... check constraints: ... what sort of indexes to put on the Person table - i.e. ... a bitmap index if it's only two values - what about higher ...
    (comp.databases.oracle.server)