datafun

made by Michael Arntzenius, submitted by porterjamesj
A research programming language attempting to generalize datalog. You can see the code here: https://github.com/rntz/datafun