CL
iki
the common lisp wiki
Home
Recent Changes
About CLiki
Text Formatting
Create New Page
Edit ``Theorem Provers''
*(Theorem Provers) is a subtopic of *(AI). Many theorem provers are available in _(Common Lisp). An important subarea of *(AI) is *(Knowledge Representation). *(Knowledge Representation Systems) that utilize some form of logic as the representation itself, will come with some kind of theorem prover to operate on the logic (generally performing backward or forward chaining inference).
Please supply your name and a summary of changes for the Recent Changes page. If you are making a minor alteration to a page you recently edited, you can avoid making another Recent Changes entry by leaving the Summary box blank
Summary of changes:
Captcha (enter the word "lisp" here):
Your name:
Check this box to fill in your name automatically next time
(uses a cookie)