Mozart

Le système de programmation Mozart est une plateforme de développement de pointe pour des applications intelligentes, distribuées. Le système est le résultat d'une décennie de recherche dans la conception du langage de programmation et de mise en œuvre, l'inférence basée sur les contraintes, l'informatique distribuée, et les interfaces homme-machine.
En conséquence, Mozart est inégalée dans la puissance expressive et la fonctionnalité. Mozart a un environnement de développement incrémental interactif et une mise en œuvre de qualité de production pour les plateformes Unix et Windows. Mozart est le fruit d'une collaboration de recherche en cours par le Consortium Mozart.
Mozart est basé sur le langage Oz, qui prend en charge la programmation déclarative, la programmation orientée objet, programmation par contraintes, et de la concurrence dans le cadre d'un ensemble cohérent.
Pour la distribution, Mozart fournit un réseau vraie mise en œuvre transparente avec le soutien de la sensibilisation du réseau, l'ouverture et la tolérance aux pannes. La sécurité est à venir. Mozart est une plate-forme idéale pour les applications à usage général distribués ainsi que pour des problèmes difficiles nécessitant l'optimisation sophistiquée et inférence capacités.
Nous avons développé de nombreuses applications, y compris des outils sophistiqués de collaboration, les systèmes multi-agents, et les assistants numériques, ainsi que des applications de compréhension du langage naturel et la représentation des connaissances, à la planification et le temps-dépôt, et dans le placement et la configuration.
Le système fournit un soutien Mozart state-of-the-art dans deux domaines: l'informatique distribuée ouverte et l'inférence basée sur les contraintes. Mozart implémente Oz, un langage orienté objet en même temps que la synchronisation de flux de données.
Oz combine la programmation concurrente et distribuée avec logique inférence basée sur les contraintes, ce qui en fait un choix unique pour développer les systèmes multi-agents. Mozart est une plate-forme idéale pour les applications à usage général distribués ainsi que pour des problèmes difficiles nécessitant l'optimisation sophistiquée et inférence capacités. Nous avons développé des applications dans la planification et le temps-dépôt, dans le placement et la configuration, en langage naturel et la représentation des connaissances, les systèmes multi-agents et les outils collaboratifs sophistiqués.
Voici quelques caractéristiques principales de "Mozart":
Programmation orientée objet