SNaKeRUBIN/CoDalog

Concordia deductive database system - A project in Datalog

CoDalog

https://web.archive.org/web/20100218215550/http://tinman.cs.gsu.edu/~raj/8710/f98/alg.html