2021. 31st International Conference on Logic Programming, 20-27 September (virtual). The Reasoner. 15, 5 (Nov. 2021).