编辑：Prolog 就是答案。
问问题
212 次
2 回答
0
我相信Fortress 编程语言的类型系统的工作方式与您所描述的类似。它使用具有通用特征的面向对象类型系统来描述运算符的代数属性（如关联性、交换性、分布性、恒等性、对称性、一元素、零元素等）。它需要知道所有这些，以便在集群中的节点之间自动分配计算。
于 2009-07-29T15:47:57.820 回答
0
Prolog 非常适合处理公理。在 sourceforge.net 上有一个开源的面向对象的 prolog 扩展：
于 2009-07-29T17:08:57.110 回答