Programming languages 用于处理公理的编程语言

编辑：Prolog是答案

我相信作品的类型系统在某种程度上与你所描述的相似。它使用具有泛型特征的面向对象类型系统来描述算子的代数性质（如结合性、交换性、分配性、恒等性、对称性、一元、零元等）。它需要知道所有这些，以便在集群中的节点之间自动分配计算。

Prolog非常适合处理公理。sourceforge.net上有一个prolog的开源面向对象扩展：

---

好的，看起来不错。但它显然很年轻。我去看看。好的，这就是我要找的。