consider submitting to 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP'21)