An Efficient Compiler for the IDP-Z3 Knowledge Base System. - Wout Piessens; Simon Vandevelde; Joost Vennekens; Tom Schrijvers (PADL, 2026)