Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf] #1 Post by jnpnj » Tue, Aug 04, 2026, 11:46 AM UTC Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf]arxiv.org