software.wikisort.org - Langage_de_programmation

Go! est un langage de programmation concurrent, originellement conçu par Keith Clark et Francis McCabe en 2003[1]. Il est orienté vers le besoin de programmer des agents d'applications surs, de qualité de production. Il est multi-thread, fortement typé et d'un niveau élevé (au sens de la programmation fonctionnelle). Il a des définitions de relation, de fonctions et de procédures d'action. Les threads exécutent les procédures d'action, les appels de fonctions et les querying relations au besoin. Les threads des différents agents communiquent et se coordonnent en utilisant des messages asynchrones. Les threads à l'intérieur d'un même agent peuvent également utiliser des relations dynamiques partagées agissant comme des registres mémoires.

Go!
Date de première version	2003
Paradigme	Programmation concurrente
Auteur	Francis McCabe Keith Clark
Influencé par	Prolog
Licence	Licence publique générale GNU version 2
modifier

Sa nature comme langage de programmation multi-paradigme, intégrant des styles de la programmation logique, fonctionnelle et orientée objet[2], est particulièrement mise en œuvre dans les modèles basés sur une ontologie, tel qu'employés par le web sémantique en permettant un système type où les classes OWL peuvent être représentées dans le système type[3]. La conception de Go!, d'après Bordini et al.'s survey[2].

Depuis le lancement du langage de programmation de Google, Go! et Go sont devenus le sujet d'une polémique sur le nom du langage qui n'est pas résolue au 12 novembre 2009[4].

Modèle de Communication

Les threads à l'intérieur d'un même processus Go!, et donc dans le même agent, peuvent aussi communiquer en manipulant des objets à relation dynamiques, comparable aux registres de tuple de Linda[2], utilisés pour coordonner leurs activités.

Notes et références

Voir aussi

Bibliographie

• (en) K.L. Clark et F.G. McCabe, « Go! for multi-threaded deliberative agents », International Conference on Autonomous Agents (AAMAS'03),‎ 2003, p. 964 - 965 (DOI 10.1145/860575.860747, lire en ligne)
• K.L. Clark et F.G. McCabe, Ontology Oriented Programming in Go!, 2003 (lire en ligne)
• (en) K.L. Clark et F.G. McCabe, « Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents », Annals of Mathematics and Artificial Intelligence, vol. 41, n^os 2-4,‎ 2004, p. 171 - 206 (DOI 10.1023/B:AMAI.0000031195.87297.d9, lire en ligne)
• (en) K.L. Clark et F.G. McCabe, « Ontology oriented programming in go! », Applied Intelligence, vol. 24, n^o 3,‎ 2006, p. 189 - 204 (DOI 10.1145/860575.860747, lire en ligne)
• (en) R. Bordini et al., « A Survey of Programming Languages and Platforms for Multi-Agent Systems », Informatica, vol. 30,‎ 2006, p. 33 - 44 (lire en ligne)
• (en) M. Fisher et al., « Computational Logics and Agents - A Roadmap of Current Technologies and Future Trends », Computational Intelligence, vol. 23, n^o 1,‎ 2007, p. 61 - 91 (lire en ligne)

Liens externes

• (fr) Lets Go! textbook by Francis McCabe
• Dépot Github du projet

• Portail de la programmation informatique

На других языках

---

- [fr] Go! (langage)

---

[ru] Go!

Go! — многопоточный язык программирования, разработанный Кейтом Кларком и Фрэнсисом Маккейбом в 2003 году. Мультипарадигмален, ориентирован на безопасное программирование и распределённость приложений (с применением агентной архитектуры), со строгой типизацией. Есть поддержка определений функций и процедур, а также взаимосвязей между ними. Потоки исполняют процедуры, вызывают функции и запрашивают необходимые связи по мере надобности. Потоки разных агентов взаимодействуют между собой при помощи асинхронных сообщений. Потоки одного агента могут устанавливать динамические связи друг с другом, образовывая своего рода общую память.

---

---