prolog可以用abcdef命名吗