Langage de programmation pour travailler avec des axiomes

Question

edit: Prolog est la réponse.

Answer 1

Prolog est bon pour manipuler les axiomes. Il existe une extension open source orientée objet de prolog sur sourceforge.net:

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

Answer 2

Je pense que le système de typage du langage de programmation Fortress fonctionne d'une manière similaire à celle que vous décrivez. Il utilise un système de types orienté objet avec des caractéristiques génériques pour décrire par exemple Propriétés algébriques des opérateurs (telles que l’associativité, la commutativité, la distributivité, l’identité, la symétrie, un élément, l’élément zéro, etc.). Il doit connaître tous ces éléments pour pouvoir distribuer automatiquement les calculs sur les nœuds d’un cluster.