Early Ideas Behind Logic Programming :: Computers

proto(prenominal) Ideas Behind system of system of system of logical system Programming Historical Perspectives system of logic computer programing is an approach to computer science in which the first coiffure predicate logic is used as a high level programming language. The use of symbolic logic as a programming language has a history of not more than thirty years, exactly the study of the symbolic logic goes back to the hold of Aristotle in the quarter century B. C. First Order Predicate Logic is a process of symbolic logic that has evolved largely in the twentieth century.The history of logic programming started with symbolic logic, and then First Order Predicate Logic emerged from symbolic logic to form the base for Logic Programming. The history of logic programming can be classified into trine sequences. The first age was the era of the pioneers in founding a symbolic language. The real growing of the symbolic logic occurred in the second era, where the third era is the era of transition from symbolic logic to logic programming.In each of the three eras many people contributed to the journey of developing Logic Programming, but we ar going to mention only those who had deep influence on this development.Early Ideas of Symbolic LogicWhat is now known as traditional logic began at the time of Aristotle over 22 centuries ago. Aristotle work was assembled by his students afterward his death in 322 B. C. Aristotle attempted to codify the knowledge into scientific system. His work is best understood as a theoretical study of prospering reasoning techniques. Syllogism was Aristotle major reasoning technique to reach a noetic conclusion. The syllogism is a set 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 able to isolate principles of deductive inference on a qualified form of statements called propositions. A proposition is any state ment that can be assigned a truth value. Aristotle approach to logic became sacred, especially in the Middle 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 Aristotelic logic. Leibniz found certain points where the syllogism seemed to be wrong or incomplete. Leibniz wrote about a new, universal language of mathematical logic to replace the syllogism. He judge that such a language would be able to solve philosophic problems in a mechanical way, and thereby bring peace to the world.