22. The method of claim 20 , wherein said dependency network comprises a DAG dependency network.
22. The method of claim 20 , wherein said dependency network comprises a DAG dependency network. 23. The method of claim 22 , wherein said step of updating values of other variables participating in said declarative rule comprises performing a forward search of said DAG dependency network.