5 ms·Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf]1 points by jnpnj 1mo ago