add intro to prolog