用于使用公理的编程语言

Question

编辑：Prolog是答案。

Answer 1

序言是好的处理公理。有序言的在sourceforge.net一个开放源代码的面向对象的扩展：

http://sourceforge.net/projects/oopl/

Answer 2

我相信Fortress Programming Language的类型系统的工作方式与您所描述的类似。它使用具有通用特征的面向对象类型系统来描述例如运算符的代数性质（如关联性，交换性，分布性，同一性，对称性，单元素，零元素等）。它需要知道所有这些以便自动在集群中的节点之间分配计算。