Programmi di jdrew.sf.net

jDREW (Java Deductive Reasoning Engine for the Web) è un motore di ragionamento altamente configurabile scritto in Java per il ragionamento della clausola definita. Attraverso le sue diverse API, jDREW può essere facilmente i