aiakl.pl ann.pl bid.pl boyer.pl browse.pl deriv.pl fib.pl fib_t grammar.pl hanoiapp.pl hanoiapp.suc mmatrix.pl money.pl occur.pl peephole.pl progeom.pl qplan.pl qsortapp.pl query.pl rdtok.pl read.pl serialize.pl tak.pl tictactoe.pl warplan.pl zebra.pl zebra.pt .