Gab*_*des 7 functional-programming prolog logic-programming functor category-theory
我开始学习 Prolog，我刚刚读到结构开头的原子通常称为函子。
我还熟悉范畴论和函数式编程中的术语函子。
所以我的问题是，Prolog 中函子一词的选择对范畴论有什么影响吗？Prolog 中的函子是一种变换吗？或者这个名字的选择仅仅是巧合？
非常感谢！
\n\nProlog 中的术语“函子”与范畴论中的术语有任何关系吗？
\n
不。
\n\n\nProlog 中函子一词的选择对范畴论有什么影响吗？
\n
不。
\n\n\nProlog 中的函子是一种变换吗？
\n
主观地回答这个问题可能会导致许多反驳评论；这是事实。
\nProlog 有一个 ISO 标准，该标准中是
\n\n\n\xc2\xa73.77
\nfunctor：标识符和元数。
如果您使用 Prolog 足够多，您将学会象征性地思考，然后意识到这functor只是某物的名称。Prolog 中的其他常见名称有term, list, atom, variable。
请参阅这篇文章了解更多详细信息。
\n\n\n或者这个名字的选择仅仅是巧合？
\n
我不会说巧合，因为如果你看一下这两个词的谱系，你可能会得出与数学相关的共同点，所以这不是巧合，而是当人们可以选择命名某些东西时，有时他们会使用熟悉的名字或者有时他们创造一个新词。
\n在这种情况下，多年来人们只是不断地一遍又一遍地使用函子来处理各种事情，并且它的含义之树已经显着增长。
\n至少这个词的使用functor不像编程语言中过度使用逗号作为运算符那么糟糕。
关于 Prolog 中函子使用的可能谱系的旁注。
\nfunctor在谷歌搜索中找到了维基百科文章函子的定义，其中注明了维基百科文章功能词。对于function word它的注释
\n\n在语言学中，功能词（也称为函子）是词义很少或含义不明确的词，用于表达句子中其他词之间的语法关系，或指定说话者的态度或情绪。
\n
如果您知道 Prolog 最初是为了处理法语而创建的 [ 1 ]，那么这似乎是 Prolog 一侧函子一词的谱系的可能路径。
\n1 - Alain Colmerauer 和 Philippe Roussel 的《Prolog 的诞生》
\n