start | find | index | login or register | edit
DLV
by earl, 6950 days ago
A Disjunctive Datalog/Answer Set Programming System

- http://www.dbai.tuwien.ac.at/proj/dlv/
- http://www.uni-koblenz.de/ag-ki/LP/system.dlv.html

- http://chkoch.home.cern.ch/chkoch/dlv/dlv_tutorial.html

search

4 active users

backlinks (more)

recent stores (more)

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8447 days • c'est un vanilla site