λProlog: Logic programming in higher-order logic (via veqq) — discussion

#logiclangs