Go! (programming language): Difference between revisions

Revision as of 02:42, 23 March 2010

Revision as of 03:54, 17 April 2010

Line 29:

== Design ==

The authors of Go! describe it as "a [[multi-paradigm programming language]] that is oriented to the needs of programming secure, production quality, agent based applications. It is [[multi-threaded]], strongly typed and [[higher order function|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 [[Linda (coordination language)|Linda]]-style [[tuple space|tuple stores]]."<ref name="aamas">{{cite journal |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2003 |title= Go! for multi-threaded deliberative agents |journal=International Conference on Autonomous Agents (AAMAS'03) |pages=964 - 965964–965 |url=http://portal.acm.org/citation.cfm?doid=860575.860747 | doi=10.1145/860575.860747 }}</ref>

The authors also propose that the language is suitable for representing [[Ontology (information science)|ontologies]] due to its integration of [[logic programming|logic]], [[functional programming|functional]], [[object-oriented programming|object-oriented]] and [[imperative programming|imperative]] styles of programming.<ref>{{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 - 204189–204 |url=http://portal.acm.org/citation.cfm?id=1127540 |doi=10.1145/860575.860747 }}</ref>

== Example ==

Line 69:

{{refbegin}}

* {{cite paper |last1=Clark |first1=K.L. |last2=McCabe |first2=F.G. |year=2003 |title=Ontology Oriented Programming in Go! |url=http://www.doc.ic.ac.uk/~klc/DistKR.pdf }}

* {{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 - 206171–206 |url=http://portal.acm.org/citation.cfm?id=998367 |doi=10.1023/B:AMAI.0000031195.87297.d9 }}

* {{cite journal |author=R. Bordini et al. |year=2006 |title=A Survey of Programming Languages and Platforms for Multi-Agent Systems |journal=Informatica |volume=30 |pages=33 - 4433–44 |url=http://www.informatica.si/vol30.htm }}

* {{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 - 9161–91 |url=http://www3.interscience.wiley.com/journal/118495224/issue }}

* {{cite conference |author=C. Varela et al.|year=2004 |title=On Modelling Agent Systems with Erlang | conference=ACM SIGPLAN Erlang Workshop '04|conferenceurl=http://ftp.sunet.se/pub/lang/erlang/workshop/2004/ }}

{{refend}}