Programming puzzles for Automated Logic Job Application