1
edit: Prolog est la réponse.Langage de programmation pour travailler avec les axiomes
A
Répondre
0
Prolog est bon pour la manipulation des axiomes. Il y a une extension orientée objet open source de Prolog à sourceforge.net:
0
Je crois que le système de type du Fortress Programming Language fonctionne d'une certaine manière semblable à ce que vous décrivez. Il utilise un système de type orienté objet avec des caractères génériques pour décrire par ex. Propriétés algébriques des opérateurs (comme Associativité, Commutativité, Distributivité, Identité, Symétrie, Un-Élément, Zéro-Élément, etc.). Il a besoin de tout savoir pour distribuer automatiquement les calculs entre les nœuds d'un cluster.
+0
Ok cela semble assez bon. Il est évidemment assez jeune cependant. Je vérifierai. – Alex
Ok c'est ce que je cherche. – Alex
Très content d'avoir pu aider :) –