ASK: Tag Proposal: logicprogramming (by veqq)

#meta