Content deleted Content added
BarryNorton (talk | contribs) No edit summary |
BarryNorton (talk | contribs) |
||
Line 10:
| latest_release_version =
| latest_release_date =
| latest_test_version =
| latest_test_date = {{release date|mf=yes|2007|9|30}}
| typing =
| implementations =
| dialects =
| inspired_by = [[Prolog]], April
| operating_system =
| license = [[GPLv2]]
| website =
Line 23:
'''Go!''' is a [[concurrent programming language]], first publicly documented by Keith Clark and Francis McCabe in 2003 <ref>Clark and McCabe, AAMAS'03, 2003</ref>. It is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores.
Its nature as a a multi-paradigm programming language, integrating logic, functional, object oriented and imperative programming styles <ref name=informatica-survey>Bordini et al., Informatica, 2006</ref>, is particularly applied to ontology-based modeling, as exploited for the [[Semantic Web]] in allowing a type system where [[OWL]] classes can be represented in the type system <ref>Clark and McCabe, Applied Intelligence, 2006</ref>. The design of Go!, according to Bordini et al.'s survey <ref name=informatica-survey />, also took into consideration critical issues such as security, transparency, and integrity, in regards to the adoption of logic programming technology. Agents in Go! contain both reactive and deliberative aspects, and coordinate using BDI structures <ref>Fisher et al., Computational Intelligence, 2007</ref>.
Since the launch of Google's programming language [[Go (programming language)|Go]], Go! has become the subject of a naming controversy that is still to be resolved <ref>http://www.informationweek.com/news/software/web_services/showArticle.jhtml?articleID=221601351</ref> <ref>http://code.google.com/p/go/issues/detail?id=9</ref>.
Line 70:
* {{cite journal |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2004 |title=Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents |journal=Annals of Mathematics and Artificial Intelligence |volume=41 |issue=2-4 |pages=171 - 206 |url=http://portal.acm.org/citation.cfm?id=998367 |doi=10.1023/B:AMAI.0000031195.87297.d9 }}
* {{cite journal |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2006 |title=Ontology oriented programming in go! |journal=Applied Intelligence |volume=24 |issue=3 |pages=189 - 204 |url=http://portal.acm.org/citation.cfm?id=1127540 |doi=10.1145/860575.860747 }}
* {{cite journal
* {{cite journal |author=M. Fisher et al. |year=2007 |title=Computational Logics and Agents - A Roadmap of Current Technologies and Future Trends |journal=Computational Intelligence|volume=23 |issue=1 |pages=61 - 91 |url=http://www3.interscience.wiley.com/journal/118495224/issue }}
{{refend}}
|