LOGIC PROGRAMMING
1. Introduction
The term reasoning can be understood in many ways: drawing conclusions,
solving problems, making inferences, etc. Obviously, there are many approaches
to drawing conclusions or making inferences. Some of the reasoning approaches
may not provide strong or valid conclusions all the time. For example,
scientific reasoning appears to be strong but it can be falsified with the
emergence of new scientific theories. In contrast, mathematical reasoning
always preserves the truth. There are several other approaches to reasoning.
This article discusses various approaches to reasoning with a particular
emphasis on what is called deductive reasoning. This is because; of the concept of
Logic Programming.