Seems to be sort of triple store / datalog-ish.