state of art functional programming language list

The expression is calculated in a reduction way, i.e. Logical programs do not differ in high speed, since the process of their execution is reduced to the construction of direct and inverse chains of reasoning by various search methods.Ī program written in a functional language resembles the definition and list of specific features of a task and is a sequence of descriptions of functions and expressions. This confirms the declarative nature of the logical programming language. The logic program algorithm involves determining and listing the specific properties of objects and the relationships between them, rather than determining the order in which individual steps are performed. The result of the calculations is the derivation of consequences from axioms. Program execution is an attempt to prove a logical statement constructed from a program according to the rules defined by the semantics of the language used. A logical program is a combination of axioms and rules that determine the relationship between objects and the goal.

The concept of logical programming is based on the concept of relationship. A functional programming language consists of: a set of basic functions classes of constants, actions on which can produce functions prescriptions that establish the rules for constructing expressions and new functions based on basic or recursively through itself. These include constants, structured objects, functions, their bodies, and function calls. The key concept in functional languages is expression. The essence of functional programming can be defined as a way of creating programs in which the only action is to call the function, the only way to divide the program into parts is to enter the name of the function, and the only rule of composition is the operator of superposition of functions.

State of art functional programming language list