Deconstructing Datalog (by rntz) — discussion

#logiclangs #plt