Definite Clause Deduction 4.2.8 - Feedback/Report Bad Link

Title: Definite Clause Deduction 4.2.8  Science


Desc: Every representation and reasoning system needs a proof procedure in order to be complete. The purpose of this tool is to illustrate how the process of answer extraction within a knowledge base can be cast as a search problem. The deduction tool uses a language similar to Prolog and demonstrates its goal solving procedures.

- required fields

Please enter text on the image