A graph theory analysis of the St. Petersburg, Russia, subway system using Prolog