3 ms·
Prolog interpreter is unlikely to be able to meet your performance needs although it would be a great ui. Search datalog and bdd and you should be able to find
by fspeech 12y ago
Prolog interpreter is unlikely to be able to meet your performance needs although it would be a great ui. Search datalog and bdd and you should be able to find some good research and tools using bdd to support source code analysis related queries.
- andrewchambers 12y agoI thought about using datomic for this before. I've seen a Java based bdd data log tool for pointer analysis. Though it was hard to play with Iirc. I think it would be slow but good for prototypes.
- samatman 12y agoIs this you? https://github.com/achambers16 https://github.com/achambers16 Either way, email's in my profile. We should talk.
- andrewchambers 12y agoNah, this is me. https://github.com/andrewchambers https://github.com/andrewchambers