Early Ideas Behind Logic Programming :: Computers

Early Ideas Behind Logic Programming Historical PerspectivesLogic scheduling is an approach to computer science in which the first order glorify logic is used as a high level programing terminology. The use of emblematical logic as a programme language has a history of not more than thirty years, but the find out of the exemplaryal logic goes back to the work of Aristotle in the fourth vitamin C B. C. First Order Predicate Logic is a branch of symbolic logic that has evolved largely in the twentieth century.The history of logic scheduling started with symbolic logic, and then First Order Predicate Logic emerged from symbolic logic to stage the base for Logic Programming. The history of logic programming can be classified into three successions. The first era was the era of the pioneers in pieceing a symbolic language. The real development of the symbolic logic occurred in the second era, where the third era is the era of alteration from symbolic logic to logic programming .In each of the three eras numerous people contributed to the journey of developing Logic Programming, but we are spill to mention only those who had deep influence on this development.Early Ideas of typic LogicWhat is now known as traditional logic began at the time of Aristotle over 22 centuries ago. Aristotle work was assembled by his students after his cobblers last in 322 B. C. Aristotle attempted to codify the knowledge into scientific system. His work is better understood as a theoretical study of successful argument techniques. Syllogism was Aristotle major reasoning technique to reach a rational conclusion. The syllogism is a bent of rules governing what conclusion can be reached from a set of statements written in four statement forms.Based on the syllogism, students of Aristotle were fitting to isolate principles of deductive inference on a restricted form of statements called propositions. A proposition is any statement that can be delegate a truth value. Aristot le approach to logic became sacred, especially in the bosom Ages that no one even considered trying to improve until the seventeenth century.In unpublished writings, Leibniz (1646-1716) expressed his doubt about the perfection of Aristotelian logic. Leibniz found certain points where the syllogism seemed to be wrong or incomplete. Leibniz wrote about a new, general language of mathematical logic to replace the syllogism. He anticipated that such a language would be able to solve philosophical problems in a mechanical way, and thereby bring peace to the world.