术语“ functor”一词在Prolog中，与类别理论所获得的术语有任何关系吗？
我开始学习Prolog，然后读到结构开头的原子通常称为 fuction 。
我也熟悉类别理论和函数编程中的术语函数。
所以我的问题是，prolog中函子一词的选择是否对类别理论有任何影响？ prol中的函子是一种转化吗？还是只有巧合的名字的选择？
非常感谢！
I started to learn Prolog and I just read that the atom at the beginning of an structure is usually called functor.
I'm also familiar with the term functor from Category Theory and Functional Programming.
So my question is, does the choice of the word functor in Prolog have any implications on Category Theory? Are functors in Prolog a type of transformation? Or is the choice of the name mere coincidence?
Thanks so much!
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
不。
不。
主观回答这可能会导致许多反驳的评论；这是事实。
Prolog具有ISO标准，在标准中是
如果您与Prolog足够合作，您将学会象征性地思考，然后意识到
fundor只是某物的名称。 Prolog中的其他通用名称是术语，list，atom，varible。请参阅此 POST 有关更多详细信息。
我不会说巧合，就好像您看这两个单词的血统一样，您可能会到达与数学有关的一个共同点，所以这不是巧合，那是当人们可以选择命名某些东西时有时会使用熟悉的名字时有时他们会为一个新词创造一个新词。
在这种情况下，多年来，人们只是一遍又一遍地使用函数来进行各种事物，而其含义的树已经显着增长。
至少使用单词
fuctor并不像逗号作为编程语言的操作员过度使用那样糟糕。关于可能在序言中使用的函数使用的血统的旁注。
在谷歌搜索
fuctor的定义中，找到了Wikipedia文章 fuctor Wikipedia文章函数word 。对于功能WordIT注意如果您知道首先是为处理法语而创建的，[]然后，这似乎是Prolog Side上单词函子的血统的可能路径。
1- Alain Colmerauer和Philippe Roussel的“ Prolog的诞生”
No.
No.
Answering that subjectively can lead to many rebuttal comments; here are the facts.
Prolog has an ISO standard and in the standard is
If you work with Prolog enough you will learn to think symbolically and then realize that
functoris just a name for something. Other common names in Prolog areterm,list,atom,variable.See this post for more details.
I would not say coincidence as if you look at the pedigree of both words you will probably arrive at a common point related to math, so it is not a coincidence it is that when people have a choice for naming something sometimes they use a familiar name or sometimes they coin a new word.
In this case over the years people just keep using functor over and over again for various things and the tree of what it means has grown significantly.
At least the use of the word
functoris not as bad as the over use of comma as an operator in programming languages.Side note on possible pedigree for functor use in Prolog.
In Googling for a definition of
functorfound the Wikipedia article functor which noted the Wikipedia article function word. Forfunction wordit notesIf you know that Prolog was first created for processing the French language [1] then this seems like a likely path for the pedigree of the word functor on the Prolog side.
1 - "The birth of Prolog" by Alain Colmerauer and Philippe Roussel