Program menurut jdrew.sf.net

jDREW (Java Deductive Reasoning Engine for the Web) adalah mesin penalaran yang sangat dapat dikonfigurasi yang ditulis di Java untuk penalaran klausa yang pasti. Melalui APInya yang beragam, jDREW dapat dengan mudah disematk