website/hexlanguage.html at master · hexhex/website · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>dlvhex</title>
    <link rel="stylesheet" type="text/css" media="all" href="css/reset.css"></link>
    <link rel="stylesheet" type="text/css" media="all" href="css/text.css"></link>
    <link rel="stylesheet" type="text/css" media="all" href="css/960.css"></link>
    <link rel="stylesheet" type="text/css" media="all" href="css/style.css"></link>
    <meta http-equiv="Content-Type" content="text/html;charset=utf-8">
  </head>
  <body>
    <!-- Title -->
<!--
    <div class="container_12">
	<div class="grid_12" id="title">
	      <h1>dlvhex</h1>
	</div>
    </div>
-->
    <!-- Menu -->
    <div class="container_12">
      <div class="grid_12" id="menu">
	<a href="index.html">About</a>
	<a href="people.html">People</a>
	<a href="news.html">News</a>
        <a href="downloadb.html">Download Binaries</a>
	<a href="downloads.html">Download Source</a>
	<a href="support.html">Support</a>
	<a href="documentation.html">Documentation</a>
	<a href="demo.php">Online Demo</a>
	<a href="http://asptut.gibbi.com/">ASP Tutorial</a>
	<a href="related.html">Related Work</a>
	<a href="applications.html">Applications</a>
	<a href="literature.html">Literature</a>
      </div>
    </div>
    <!-- Information -->
    <div class="container_12">
      <div class="grid_9">
	<h2>Writing HEX-Programs</h2>
	<p>
	The language of HEX-programs is an extension of disjunctive datalog.
	It largely implements the <a href="https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.01c.pdf">ASP-Core-2 Standard</a>
	and extends it with external atoms.
	</p>
	<p>
	Syntactically, if the language is restricted to programs without external sources,
	it is also strongly related to DLV-syntax.
	The following list displays the language constructs that correspond to DLV (along with the links to the respective DLV-manual section):
	</p>
	<ul>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#AEN178">Facts (EDB)</a></li>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#AEN220">Rules (IDB)</a></li>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#AEN445">Integrity constraints</a></li>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#BUILTIN-COMPARATIVE">Comparative Predicates</a></li>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#BUILTIN-ARITHMETIC">Arithmetic Predicates</a></li>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#QUERIES">Queries</a> (with <code>--query-enable</code>)</li>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#AEN474">Weak Constraints</a> (with <code>--weak-enable</code>)</li>
	  <li><a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#AGGREGATES">Aggregate Predicates</a> (with <code>--aggregate-enable</code>)</li>
	</ul>
	<p>
	  Also the <a href="http://www.dlvsystem.com/html/DLV_User_Manual.html#SAFETY">chapter about safety</a> there as well applies to dlvhex.
	</p>
	<p>
    Please see also the <a href="gettingstarted.html">Getting Started</a> guide.
	</p>
      </div>
      <div class="grid_3">
  <p>&nbsp;</p>
  <p>
    <img width="200" height="44" src="images/logo_whitebg.png" alt="dlvhex" id="logo">
  </p>
  <p>
	<div style="font-size: 14pt"><label for="q">Search this Website</label></div>
	<form action="http://www.google.com/cse" id="cse-search-box">
	  <div>
	    <input name="cx" id="cx" value="010363983165505105153:4bhl-l5ixd4" type="hidden" alt="Search this website">
	    <input name="ie" id="ie" value="UTF-8" type="hidden" alt="Search this website">
	    <input style="background: rgb(255, 255, 255) none repeat scroll 0% 0%; -moz-background-clip: -moz-initial; -moz-background-origin: -moz-initial; -moz-background-inline-policy: -moz-initial;" name="q" id="q" size="19" type="text">
	    <input name="sa" id="sa" value="Go" type="submit">
	  </div>
	</form>
  </p>
	<p>
    <span style="font-size: 14pt">General</span><br>
	  <a href="https://github.com/hexhex/">dlvhex source code @ github.com</a><br>
	  <!-- a href="https://sourceforge.net/projects/dlvhex/">dlvhex: Sourceforge project</a><br/ -->
	  <a href="doap.rdf">Description-Of-A-Project</a>
	</p>
  <p>
    <span style="font-size: 14pt">Popular Plugins</span><br>
<!-- <a href="http://www.polleres.net/dlvhex-sparql">SPARQL Plugin</a><br> -->
<a href="actionplugin.html">Action Plugin</a><br>
<a href="decisiondiagramsplugin.html">DecisionDiagrams Plugin</a><br>
<a href="dlplugin.html">Description Logics Plugin</a><br>
<a href="dlliteplugin.html">Description Logics Lite Plugin</a><br>
<a href="mergingplugin.html">MELD: Belief Merging Plugin</a><br>
<a href="nestedhexplugin.html">Nested HEX Plugin</a><br>
<a href="http://www.kr.tuwien.ac.at/research/systems/mcsie">MCSIE Plugin</a><br>
<a href="stringplugin.html">String Plugin</a><br>
<a href="https://sourceforge.net/projects/dlvhex-semweb/">dlvhex-semweb Project</a><br>
	</p>
  <p>
    <span style="font-size: 14pt">Documentation</span><br>
    <a href="docs/userguide.pdf">User Guide</a><br>
    <a href="https://github.com/hexhex/core/blob/master/README">README</a><br>
    <a href="doc2x">doxygen</a><br>
    <a href="doc2x/group__pluginframework.html">Writing Plugins in C++</a><br>
    <a href="doc2x/group__pythonpluginframework.html">Writing Plugins in Python</a>
    <!--
    <a href="doc1x">doxygen version 1.X</a><br>
    <a href="doc1x/group__pluginframework.html">Writing Plugins 1.X</a><br>
    -->
  </p>
      </div> <!-- grid_3 -->
    </div> <!-- container_12 -->
  </body>
</html>
<!--
        Local Variables:
        mode: xml
        End:
-->