Prolog: Finding Out If Hamilton Becomes Formula 1 Champion in the 2018 US GP (gist.github.com)