Differences between revisions 91 and 98 (spanning 7 versions)

Important

The DLV-EX project has migrated to DLV-Complex. DLV-Complex is a very powerful ASP system, which, besides external predicates, explicitly supports (recursive) functions, sets, and lists, along with libraries for their manipulations.

If you want, you can still download the last versions of DLV-EX binaries available and some libraries, in the download section, but please note that the DLV-EX project is no longer maintained, thus no new releases/updates are scheduled in the future. For new releases, other important events and full documentation regarding DLV-COMPLEX please refer to the DLV-Complex page.

Contents

DLV-EX: The Project
The Team
Download
Related Works
History
Selected Publications

DLV-EX: The Project

DLV-EX is an Answer Set Programming System extending DLV by External Predicates, which features a framework aimed at enabling ASP to deal with external sources of computation. This feature is realized by the introduction of “parametric” external predicates, whose extension is not specified by means of a logic program but implicitly computed through external code. It is explicitly addressed the issue of invention of new information coming from external predicates, in form of new, and possibly infinite, constant symbols.

DLV-EX is based on the DLV system.

If you designed a nice external predicate, tell us.

Top of Page

The Team

Core

Francesco Calimeri, Giovambattista Ianni, Susanna Cozza

Former team members

Adriana Pietramala (student), Maria Carmela Santoro (student)

Prompters and helpers

Simona Perri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone

Top of Page

Download

Libraries

Some ready-made (compiled) dynamic libraries can be downloaded here. They have to be considered as "betas", since they are currently developed and tested. Feedbacks are useful and welcome, so please download them freely. For further information on how to exploit libraries have a look at the documentation. Please note that updates will be available later on, so come back to this page.

String Library, versions for: linux - windows and related documentation.
Integers Library, versions for: linux - windows and related documentation.
Reals Library, versions for: linux - windows and related documentation.

Utilities

DEBT - We have developed an integrated command-line environment aimed at helping in testing external built-ins predicates. This may be very useful for users who define their own built-ins. DEBT can be downloaded here, and it is gathered with its related documentation.

Latest Version

This is an OLD version of the system, which is no longer maintained.

Linux i386, 32bit (Latest version July 28th, 2008).
windows 32bit (Latest version July 28th, 2008).

Please have a look at the notes below. You may also want to have a look at some benchmarks.

Top of Page

Related Works

It is worth noting that our work shares many aspects with the work carried out by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. They introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and extend the answer-set semantics accordingly. A web page with a prototype and some references is available here.

DLV-Complex is a very powerful ASP system, which, besides external predicates, explicitly supports (recursive) functions, sets, and lists, along with libraries for their manipulations. The DLV-EX project is actually moving to DLV-Complex.
DLV is the system into which DLV-EX is implemented.
DLT is an extension to the DLV system providing reusable template predicate definitions. It is maintained by members of the DLV team from Università della Calabria.
DLV-HEX features "second order" external predicates taking relational input an returning relational output, as well as higher order atoms. It allows DLT as a pre-parser.

Top of Page

History

July 29th, 2008

Release a full version for Windows. Bugfixes. This is supposed to be the last release. The project is moving to DLV-Complex.

April 26th, 2006

Bugfixes and speedups. Support for VI-restricted programs implemented.

September 28th, 2005

"Beta" version, much improved. Carries many bugfixes and improvements.

March 28th, 2005

First stable version, even if still a "beta".

October 17th, 2004

First working version, experimental.

Previous versions

...did not carry a real version identification.

Top of Page

Selected Publications

[1] F. Calimeri, S. Cozza, G. Ianni, "External Sources of Knowledge and Value Invention in Logic Programming", Annals of Mathematics and Artificial Intelligence, 2007, to appear. PDF

[2] F. Calimeri, S. Cozza, G. Ianni, "Decidable fragments of Logic Programming with Value Invention", Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06) in Logics in Artificial Intelligence, Lecture Notes in Computer Science (LNCS), v. 4160, pp. 95-110, September 2006, Liverpool, UK, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 3-540-39625-X. PDF

[3] F. Calimeri, G. Ianni, "External sources of computation for Answer Set Solvers", Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), Diamante, Italy, 5-8 September 2005, Springer Verlag. PDF

Top of Page

dlv-ex@mat.unical.it

-  ⇤ ← Revision 91 as of 2010-10-26 10:19:44 → 
  Size: 8886
  Editor: localhost
  Comment: converted to 1.6 markup
+   ← Revision 98 as of 2018-01-16 11:46:00 → ⇥
  Size: 7497
  Editor: FrancescoCalimeri
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-#acl FrancescoCalimeri:read,write,revert SusannaCozza:read,write,revert All:read
+#acl FrancescoCalimeri:read,write,revert,admin SusannaCozza:read,write,revert,admin All:read
 Line 3:
+''Important''

'''The DLV-EX project has migrated to [[http://www.mat.unical.it/dlv-complex|DLV-Complex]]. DLV-Complex is a very powerful ASP system, which, besides external predicates, explicitly supports (recursive) functions, sets, and lists, along with libraries for their manipulations. 

##This page is the main reference for the external-predicate framework and utilities: you will find all necessary tools for developing your own predicates in the [[#download|download]] section. Nevertheless, we strongly recommend to refer to the [[http://www.mat.unical.it/dlv-complex|DLV-Complex]] page for binaries, news and updates.'''

If you want, you can still download the last versions of DLV-EX binaries available and some libraries, in the [[#download|download]] section, but please note that the DLV-EX project is no longer maintained, thus no new releases/updates are scheduled in the future. For new releases, other important events and full documentation regarding DLV-COMPLEX please refer to the [[http://www.mat.unical.it/dlv-complex|DLV-Complex]] page.'''
----
-Line 8:
+Line 17:
-DLV-EX is an Answer Set Programming System extending [[http://www.dlvsystem.com|DLV]] by External Predicates, which features a framework aimed at enabling ASP to deal with external sources of computation. This feature is realized by the introduction of  “parametric” external predicates, whose extension is not specified by means of a logic program but implicitly computed through external code. 
It is explicitly addressed the issue of invention of new information coming from external predicates, in form of new, and possibly infinite, constant symbols.
+DLV-EX is an Answer Set Programming System extending [[http://www.dlvsystem.com|DLV]] by External Predicates, which features a framework aimed at enabling ASP to deal with external sources of computation. This feature is realized by the introduction of  “parametric” external predicates, whose extension is not specified by means of a logic program but implicitly computed through external code. It is explicitly addressed the issue of invention of new information coming from external predicates, in form of new, and possibly infinite, constant symbols.
-Line 16:
+Line 23:
+[[#TOC|Top of Page]]
----
-Line 17:
+Line 26:
-{{attachment:new.gif}} ''Important advice:'' {{attachment:new.gif}}
+<<Anchor(team)>>
= The Team =
== Core ==
[[http://www.mat.unical.it/calimeri|Francesco Calimeri]], [[http://www.gibbi.com|Giovambattista Ianni]], [[mailto:cozza@mat.unical.it|Susanna Cozza]]
-Line 19:
+Line 31:
-'''The DLV-EX project is now moving to [[http://www.mat.unical.it/dlv-complex|DLV-Complex]]. DLV-Complex is a very powerful ASP system, which, besides external predicates, explicitly supports (recursive) functions, sets, and lists, along with libraries for their manipulations. This page is still the main reference for the external-predicate framework and utilities: you will find all necessary tools for developing your own predicates in the [[#download|download]] section. Nevertheless, we strongly recommend to refer to the [[http://www.mat.unical.it/dlv-complex|DLV-Complex]] page for binaries, news and updates.'''
+== Former team members ==
Adriana Pietramala (student), Maria Carmela Santoro (student)
-Line 21:
+Line 34:
-If you want, you can still download the last versions of DLV-EX binaries available, in the [[#download|download]] section.

To receive notifications about new releases and other important events regarding DLV-EX, just have a look at this page and the [[http://www.mat.unical.it/dlv-complex|DLV-Complex]] page, or drop us a note [[mailto:dlv-ex@mat.unical.it|here]].
+== Prompters and helpers ==
[[mailto:perri@mat.unical.it|Simona Perri]], [[http://www.wfaber.com|Wolfgang Faber]], [[http://www.pfeifer.com/gerald/|Gerald Pfeifer]], [[http://www.mat.unical.it/~leone/|Nicola Leone]]
-Line 27:
+Line 39:
-<<Anchor(team)>>
= The Team =
-Line 30:
+Line 40:
-== Core ==

[[http://www.mat.unical.it/calimeri|Francesco Calimeri]], [[http://www.gibbi.com|Giovambattista Ianni]], [[mailto:cozza@mat.unical.it|Susanna Cozza]]

== Former team members ==

Adriana Pietramala (student), Maria Carmela Santoro (student) 

== Prompters and helpers ==

[[http://www.wfaber.com|Wolfgang Faber]], [[http://www.pfeifer.com/gerald/|Gerald Pfeifer]], [[http://www.mat.unical.it/~leone/|Nicola Leone]]

[[#TOC|Top of Page]]
----
-Line 46:
+Line 42:
-<<Anchor(headers)>>
== Scripts and Headers ==

You can find below everything is necessary in order to develop and build your own external dynamic libraries.

 * [[attachment:extpred-linux.tar.gz|Linux version]] (.tar.gz archive)
 * [[attachment:extpred-win.zip|Windows version]] (.zip archive)

'''Notes'''
 * Please note that the archives consist of two folders: 
   * ''"LIB"'', containing headers and scripts needed in order to create new External Builtins libraries. 
   * ''"doc"'', containing a manual and a tutorial for helping the user creating new external predicates. For further information, have a look at the [[#docs|documentation]].
 * In order to '''compile''' your own libraries, you will need [[http://www.gnu.org/software/libtool/|libtool]]. Take care of use the correct version of libtool for your system, or you may experience problems in creating dynamic libraries.
 * '''HINT''' for windows developers: you might find very useful the [[http://www.mingw.org/|MinGW]]/[[http://www.mingw.org/wiki/msys|MSYS]] environment.
-Line 64:
+Line 44:
-Line 66:
+Line 45:
-Line 68:
+Line 46:
- * Integers Library, versions for:  [[attachment:math_N.so.tar.gz|linux]] - [[attachment:math_N.zip|windows]] and [[attachment:math_N.htm|related documentation]].
 * Reals Library, versions for: [[attachment:math_R.so.tar.gz|linux]] - [[attachment:math_R.zip|windows]] and [[attachment:math_R.htm|related documentation]].
+ * Integers Library, versions for:  [[attachment:math_N_v1.so.tar.gz|linux]] - [[attachment:math_N_v1.zip|windows]] and [[attachment:math_N_v1.htm|related documentation]].
 * Reals Library, versions for: [[attachment:math_R_v1.so.tar.gz|linux]] - [[attachment:math_R_v1.zip|windows]] and [[attachment:math_R_v1.htm|related documentation]].
-Line 73:
+Line 51:
-Line 78:
+Line 55:
-We offer a command-line version in binary form for
+'''This is an OLD version of the system, which is no longer maintained.'''
-Line 83:
+Line 58:
-Line 85:
+Line 59:
-Line 89:
+Line 62:
-<<Anchor(docs)>>
= Documentation & Examples =
-Line 92:
+Line 63:
-We provide an [[attachment:usermanual.html|online manual]] and an [[attachment:tutorial.html|online tutorial]]; they are updated accordingly to the evolution of the system, so check them periodically. 

For a full documentation on DLV please check the official [[http://www.dlvsystem.com|web page]].

[[#TOC|Top of Page]]
----
-Line 100:
+Line 65:
-Line 102:
+Line 66:
-Line 104:
+Line 67:
-Line 106:
+Line 68:
-Line 108:
+Line 69:
-Line 113:
+Line 73:
-Line 115:
+Line 76:
- * July 29th, 2008 {{attachment:new.gif}}
+ * July 29th, 2008
-Line 118:
+Line 79:
-Line 121:
+Line 81:
-Line 124:
+Line 83:
-Line 127:
+Line 85:
-Line 130:
+Line 87:

Quick Links

Search Wiki

Page Tools

DLV-EX: The Project

The Team

Core

Former team members

Prompters and helpers

Download

Libraries

Utilities

Latest Version

Related Works

History

Selected Publications