Home

2OPL (pronounced double-o-p-l) is a programming language for developing agent organizations. The used abstractions in the language are brute facts, effects of actions, norms and sanction rules. Brute facts are the state of the environment. Effect rules describe how actions change the brute facts. Norms describe which environment states counts as violations. Finally sanction rules can be programmed to respond to norm violations.

The current implementation is based on logic programming (Prolog in particular). For those users who are not familiar with Prolog we advise the free ebook Learn Prolog Now.

The interpreter supports three different norm specifications. For more information see the documentation or mail one of the developers.

Screenshot of the 2OPL interpreter.

Screenshot of the 2OPL interpreter.