head	1.4;
access;
symbols
	RELEASE_8_3_0:1.2
	RELEASE_9_0_0:1.2
	RELEASE_7_4_0:1.2
	RELEASE_8_2_0:1.2
	RELEASE_6_EOL:1.2
	RELEASE_8_1_0:1.2
	RELEASE_7_3_0:1.2
	RELEASE_8_0_0:1.2
	RELEASE_7_2_0:1.1
	RELEASE_7_1_0:1.1
	RELEASE_6_4_0:1.1
	RELEASE_5_EOL:1.1
	RELEASE_7_0_0:1.1
	RELEASE_6_3_0:1.1;
locks; strict;
comment	@# @;


1.4
date	2013.03.10.16.12.21;	author svnexp;	state Exp;
branches;
next	1.3;

1.3
date	2012.06.21.13.22.07;	author arved;	state Exp;
branches;
next	1.2;

1.2
date	2009.08.31.07.27.27;	author arved;	state Exp;
branches;
next	1.1;

1.1
date	2007.06.01.17.16.40;	author arved;	state Exp;
branches;
next	;


desc
@@


1.4
log
@## SVN ## Exported commit - http://svnweb.freebsd.org/changeset/base/313812
## SVN ## CVS IS DEPRECATED: http://wiki.freebsd.org/CvsIsDeprecated
@
text
@DLV is a system for disjunctive datalog with constraints, true negation
and queries.

The DLV system also includes

    * the K planning system,
    * a frontend for abductive diagnosis and Reiter's diagnosis,
    * support for inheritance, and
    * an SQL frontend which prototypes some novel SQL3 features.

WWW: http://www.dlvsystem.com/dlv/
@


1.3
log
@Update to more recent version.

Drop maintainership, i forgot all about dlv :(

Changelog:	http://www.dlvsystem.com/dlvsystem/index.php/Version_history

Reported by:	watermelon@@jabber.metalab.at via Jabber
@
text
@d11 1
a11 1
WWW:	http://www.dlvsystem.com/
@


1.2
log
@Layout of the MASTER_SITE changed. Adjust URLs
@
text
@d11 1
a11 1
WWW:	http://www.dbai.tuwien.ac.at/research/project/dlv/
@


1.1
log
@Add dlv, a disjunctive Datalog System
@
text
@d11 1
a11 1
WWW:	http://www.dbai.tuwien.ac.at/proj/dlv/
@

