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