The Design of j-DREW: A Deductive Reasoning Engine for the Web

Download
  1. (PDF, 445 KB)
AuthorSearch for:
TypeArticle
Proceedings titleCBD ITCLS 2002, First CologNET Workshop on Component-Based Software Development and Implementation Technology for Computational Logic Systems
ConferenceThe International Workshop/Symposium on Logic-Based Program Synthesia and Transformation, September 20, 2002.
Abstractj-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.
Publication date
LanguageEnglish
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number45845
NPARC number5763691
Export citationExport as RIS
Report a correctionReport a correction
Record identifierdaed0907-70fc-433c-ac95-d921c79d2937
Record created2009-03-29
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)