NIkita, did you...

check out Sussman's new programming paradigm? Might give you some nice ideas for Symta before it reaches a stable release.

http://web.mit.edu/~axch/www/ilc09-slides.pdf

http://groups.csail.mit.edu/mac/users/gjs/propagators/

https://github.com/ProjectMAC/propagators

http://dspace.mit.edu/bitstream/handle/1721.1/44215/MIT-CSAIL-TR-2009-002.pdf

>>23
Ever heard of analytic debugging?
Read page 3 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.14.5068&rep=rep1&type=pdf

It doesn't have much to do with the propagator paradigm, but more with constraint programming, but it gives some basic ideas.