Programmiersprache für die Arbeit mit Axiomen

Question

Bearbeiten: Prolog ist die Antwort.

Answer 1

Prolog ist gut zum Umgang mit Axiomen. Es gibt eine open-Source-objektorientierte Erweiterung von Prolog unter SourceForge.net:

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

Answer 2

Ich glaube das Typsystem der Fortress -Programmiersprache Funktioniert in irgendeiner Weise dem, was Sie beschreiben. Es verwendet ein objektorientiertes Typsystem mit generischen Merkmalen, um die eG-algebraischen Eigenschaften von Operatoren zu beschreiben (wie Assoziativität, Commutativität, Verbreitung, Identität, Symmetrie, Ein-Elemente, Null-Element usw.). Es muss all dies wissen, um Berechnungen automatisch über Knoten in einem Cluster zu verteilen.