All the Perl that's Practical to Extract and Report
If you've ever looked at the original paper for the Warren Abstract Machine (a fast, proven correct virtual machine for Prolog), your head probably hurts. That's why you probably want
