Move abstract to prolog.