getting started w/prolog