Add "socrates.pl" and "riddle.pl"