Early Ideas Behind Logic Programming

Early thinking of logical programming Historical viewpoint Logic programming is a computer science method where first-order predicate logic is used as a high-level programming language. Although the use of symbolic logic as a programming language has been around thirty years ago, the study of symbolic logics goes back to Aristotle's research in the 4th century BC. First-order predicate logic is a branch of symbolic logic. It occurred primarily in the 20th century.

ILP is supervised machine learning based on logical programming. Logic programming is a formal logic, usually a programming paradigm based on horn logic. A logical program is a set of logical expressions that express facts and rules. Statements in logical programs have no return value compared to other programming paradigms (such as functional programming) and are evaluated to determine their reliability or forgeryability. The field of logical programming is too large to explain sufficiently, but you can give examples using examples. It is one of the most popular logical programming languages ​​Prolog developed in the early 1970s by the Alain Colmerauer team in Marseille, France.

Logic programming is a programming paradigm with the foundation of mathematical logic. A program written in a logical programming language such as Prolog is not a sequence of instructions but rather a set of axioms and rules that define relationships between objects compared to languages ​​such as Java and C I will. They also follow a declarative approach, not a mandatory approach. But what does this mean? Prolog is based on the Horn clause (a subset of logic on the first floor), which is probably the most famous language in the logical programming series. This has been a collaboration between Alain Colmerauer, Phillipe Roussel (both Aix-Marseille University) and Robert Kowalski (University of Edinburgh) for a long time. The first version appeared in 1972, such as Smalltalk and C. This name stands for "Programmation en logique" (French for logic programming).