Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

NIkita, did you...

Name: Anonymous 2015-01-24 2:52

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

Name: Anonymous 2015-01-24 8:52

tfw you don't really understand truth maintenance systems or the other more complex parts of this.

Newer Posts