JDLV is a new programming framework embedding DLV into Java programming. The framework is based on JASP, an hybrid language that transparently supports a bilateral interaction between Answer Set Programming and Java. JDLV and JASP have been presented at KR’12. Check out the project page at www.dlvsystem.com
- JDLV Example