Datafun - functional language that generalizes Datalog (via veqq) — discussion

#plt