我开始学习 Prolog，我刚刚读到结构开头的原子通常称为函子。
我还熟悉范畴论和函数式编程中的术语函子。
所以我的问题是，Prolog 中函子一词的选择对范畴论有什么影响吗？Prolog 中的函子是一种变换吗？或者这个名字的选择仅仅是巧合？
非常感谢！
functional-programming prolog logic-programming functor category-theory
category-theory ×1
functional-programming ×1
functor ×1
logic-programming ×1
prolog ×1