Symbium: Using Logic Programming to Streamline Citizen-to-Government Interactions. - Tristan Krueger; Abhijeet Mohapatra; Michael R. Genesereth (Prolog: The Next 50 Years, 2023)