ToT 2013 Prolog