Abstract | j-DREW is an easily configured, powerful deductive reasoning engine for first order, clausal logic written Java and well integrated with the Web. A programmer with the ability to manipulate recursive data structures, such as commonly taught in university computer science programs, will be able to reconfigure the reasoning engine of j-DREW using its application programmers interface (API). j-DREW uses powerful and efficient techniques developed for competitive automated theorem provers, such as discrimination trees, sound unification, subsumption and flatterrms. It can be deployed as part of a larger Java system, on a server or, with its small memory footprint, on a client. Three prototypes for definite clauses are considered: several variants of Prolog, a backward chaining RuleML engine and a proposed forward chaining deduction engine that interfaces to the Java 1.1 event model. |
---|