Perl
CS 321 Programming Languages and Compilers Prolog part 2.
Formal verification of skiplist algorithms