start | find | index | login or register | edit
DLV
by earl, 5334 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
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6831 days • c'est un vanilla site