start | find | index | login or register | edit | ||
DLV
by earl, 7195 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 72 active users
backlinks (more) recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8692 days • c'est un vanilla site |