It can be an abstract model of computation. Solve logical problems like puzzles, series . Have knowledge base which we know before and along with the question you specify knowledge and how that knowledge is to be applied through a series of rules. The Logical Paradigm takes a declarative approach to problem-solving. Various logical assertions about a situation are made, establishing all known facts. Then queries are made.