— Prolog as D:me.