用於使用公理的編程語言

Question

編輯：Prolog是答案。

Answer 1

序言是好的處理公理。有序言的在sourceforge.net一個開放源代碼的面向對象的擴展：

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

Answer 2

我相信Fortress Programming Language的類型系統的工作方式與您所描述的類似。它使用具有通用特徵的面向對象類型系統來描述例如運算符的代數性質（如關聯性，交換性，分佈性，同一性，對稱性，單元素，零元素等）。它需要知道所有這些以便自動在集羣中的節點之間分配計算。