Implementing Logic Programming (via veqq) — discussion

#plt