Both the logical programming and functional programming rely heavily on recursive definitions. A functional programming language is used to consist of a sequence of function definitions. A logic program is used to consist of relation definition. Functional programming language and prolog have some similarities like Hugs.
The Mechanism of prolog describes the tuples and lists. The most implementations of prolog have been enhanced to include integer value, characters, and operations. Identifiers that start with lower-case letters denote data values. An identifier with upper case letters and other identifiers denote variables. A basic logic programming environment has no literal values.The prolog's run time system provides the service of an interface engine. The expert system consists of an interface engine and a database of facts. The artificial intelligence applications can be automated reasoning systems, natural language interfaces, and expert systems. In artificial intelligence applications, prolog is used.Prolog is used in some areas like database, natural language processing, artificial intelligence, but it is pretty useless in some areas like a numerical algorithm or instance graphics.
Prolog is a declarative language that means we can specify what problem we want to solve rather than how to solve it.Prolog is a weakly typed language with static scope rules and dynamic type checking. To generate another solution, use the backtracking strategy. In such case, the run time system will be asked to find another solution. To deduce the answer, there will be more than one way.Prolog features are 'Logical variable', which means that they behave like uniform data structure, a backtracking strategy to search for proofs, a pattern-matching facility, mathematical variable, and input and out are interchangeable.Prologs of PrologII family are the other kind of prologs which are descendants of Marseille Prolog. In this tutorial, the program was written in the 'Standard' Edinburgh Prolog. After that, it was adopted Prolog as a development language. In 1981, a Japanese computer Project of 5 th generation was announced.It supports the declarative programming paradigm. The major example of fourth-generation programming language was prolog. The first Prolog was 'Marseille Prolog', which is based on work by Colmerauer.
When a user asks a question, then to determine the answer, the run time system searches through the database of facts and rules.