Skip to content

Commit 55233aa

Browse files
jomifredjomifred
committed
add jason github doc folder
1 parent 332f3bd commit 55233aa

File tree

1 file changed

+160
-0
lines changed

1 file changed

+160
-0
lines changed

‎doc/doc.html

+160
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,160 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8">
5+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
6+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
7+
<meta name="generator" content="Asciidoctor 2.0.10">
8+
<title>Jason</title>
9+
<style>
10+
11+
</style>
12+
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/css/font-awesome.min.css">
13+
</head>
14+
<body class="article toc2 toc-right">
15+
<div id="header">
16+
<h1>Jason</h1>
17+
<div id="toc" class="toc2">
18+
<div id="toctitle">Table of Contents</div>
19+
<ul class="sectlevel1">
20+
<li><a href="#_documentation">Documentation</a></li>
21+
<li><a href="#_installation">Installation</a>
22+
<ul class="sectlevel2">
23+
<li><a href="#_for_jason_users">For Jason users</a></li>
24+
<li><a href="#_for_jason_developers">For Jason developers</a></li>
25+
</ul>
26+
</li>
27+
<li><a href="#_jason_as_a_library">Jason as a Library</a></li>
28+
</ul>
29+
</div>
30+
</div>
31+
<div id="content">
32+
<div id="preamble">
33+
<div class="sectionbody">
34+
<div class="paragraph">
35+
<p>Jason is an interpreter for an extended version of AgentSpeak. It implements the operational semantics of that language, and provides a platform for the development of multi-agent systems, with many user-customisable features. Jason is available as Open Source, and is distributed under GNU LGPL.</p>
36+
</div>
37+
<div class="paragraph">
38+
<p>Jason is developed by <a href="http://https://jomifred.github.io">Jomi F. Hübner</a> and <a href="http://www.inf.pucrs.br/r.bordini">Rafael H. Bordini</a>, based on previous work done with many colleagues, in particular Michael Fisher, Joyce Martins, Álvaro Moreira, Renata Vieira, Willem Visser, Mike Wooldridge, but also many others, as acknowledged in the manual (see the <a href="http://jason-lang.github.io/">documents</a> page).</p>
39+
</div>
40+
</div>
41+
</div>
42+
<div class="sect1">
43+
<h2 id="_documentation">Documentation</h2>
44+
<div class="sectionbody">
45+
<div class="paragraph">
46+
<p>Most of the Jason documentation is available <a href="doc/readme.html">in the doc folder</a> and at the <a href="http://jason-lang.github.io">Jason web site</a>.</p>
47+
</div>
48+
</div>
49+
</div>
50+
<div class="sect1">
51+
<h2 id="_installation">Installation</h2>
52+
<div class="sectionbody">
53+
<div class="sect2">
54+
<h3 id="_for_jason_users">For Jason users</h3>
55+
<div class="paragraph">
56+
<p>Follow the <a href="doc/tutorials/getting-started/readme.html">getting started tutorial</a>.</p>
57+
</div>
58+
<div class="admonitionblock note">
59+
<table>
60+
<tr>
61+
<td class="icon">
62+
<i class="fa icon-note" title="Note"></i>
63+
</td>
64+
<td class="content">
65+
In Jason 3.2 no IDE is included in Jason distribution. A <a href="jason-cli">command line interpreter</a> is now provided.
66+
</td>
67+
</tr>
68+
</table>
69+
</div>
70+
</div>
71+
<div class="sect2">
72+
<h3 id="_for_jason_developers">For Jason developers</h3>
73+
<div class="listingblock">
74+
<div class="content">
75+
<pre class="nowrap">git clone https://github.com/jason-lang/jason.git
76+
cd jason
77+
./gradlew config <i class="conum" data-value="1"></i><b>(1)</b> <i class="conum" data-value="2"></i><b>(2)</b></pre>
78+
</div>
79+
</div>
80+
<div class="colist arabic">
81+
<table>
82+
<tr>
83+
<td><i class="conum" data-value="1"></i><b>1</b></td>
84+
<td>the config task builds the JasonCLI (Jason Command Line Interface).</td>
85+
</tr>
86+
<tr>
87+
<td><i class="conum" data-value="2"></i><b>2</b></td>
88+
<td>this task also prints out the commands to set up the <code>JASON_HOME</code> and <code>PATH</code> variables.</td>
89+
</tr>
90+
</table>
91+
</div>
92+
<div class="paragraph">
93+
<p>Examples can be run using the <code>jason</code> command, for example:</p>
94+
</div>
95+
<div class="literalblock">
96+
<div class="content">
97+
<pre class="nowrap">cd examples/domestic-robot
98+
jason DomesticRobot.mas2j</pre>
99+
</div>
100+
</div>
101+
<div class="paragraph">
102+
<p>Other useful gradle tasks:</p>
103+
</div>
104+
<div class="listingblock">
105+
<div class="content">
106+
<pre class="nowrap">./gradlew jar <i class="conum" data-value="1"></i><b>(1)</b>
107+
./gradlew doc <i class="conum" data-value="2"></i><b>(2)</b>
108+
./gradlew clean <i class="conum" data-value="3"></i><b>(3)</b>
109+
./gradlew release <i class="conum" data-value="4"></i><b>(4)</b></pre>
110+
</div>
111+
</div>
112+
<div class="colist arabic">
113+
<table>
114+
<tr>
115+
<td><i class="conum" data-value="1"></i><b>1</b></td>
116+
<td>generates a new jar files.</td>
117+
</tr>
118+
<tr>
119+
<td><i class="conum" data-value="2"></i><b>2</b></td>
120+
<td>generates the javadoc and transforms asciidoc files into html (Docker must be running for the latter).</td>
121+
</tr>
122+
<tr>
123+
<td><i class="conum" data-value="3"></i><b>3</b></td>
124+
<td>cleans all generated files.</td>
125+
</tr>
126+
<tr>
127+
<td><i class="conum" data-value="4"></i><b>4</b></td>
128+
<td>produces a zip file in <code>build/distributions</code> to be distributed to users (including the executable of JasonCLI).</td>
129+
</tr>
130+
</table>
131+
</div>
132+
<div class="paragraph">
133+
<p>You can use your IDE to change the Jason implementation by importing the Gradle project.</p>
134+
</div>
135+
</div>
136+
</div>
137+
</div>
138+
<div class="sect1">
139+
<h2 id="_jason_as_a_library">Jason as a Library</h2>
140+
<div class="sectionbody">
141+
<div class="paragraph">
142+
<p>You can add Jason in your Gradle project with:</p>
143+
</div>
144+
<div class="listingblock">
145+
<div class="content">
146+
<pre class="nowrap">dependencies {
147+
implementation 'io.github.jason-lang:jason-interpreter:3.2.0'
148+
}</pre>
149+
</div>
150+
</div>
151+
</div>
152+
</div>
153+
</div>
154+
<div id="footer">
155+
<div id="footer-text">
156+
Last updated 2024-10-02 19:29:39 UTC
157+
</div>
158+
</div>
159+
</body>
160+
</html>

0 commit comments

Comments
 (0)