Datalog (via quad) — discussion

#logiclangs #plt