- name
Reasoning System
- optimization
- objective
Create a system which extracts and validates statements regarding a solution or a problem.
- solution
This seems to be a theorem system/prover.
Check if this is the case.
- toDo
What is the difference between a theorem prover and Prolog.
project