Rollin with Prolog.