Python Solutions to Prolog Problems