Atitit. The main kind of programming language and trend logical language: Functional language ... Command-language

Atitit. the main types of programming languages and Trend -Logical language: Functional language ... Command-language

1. The main kind of programming language logical language: Functional language ... Imperative language 1

2. Logical language , No need to consider the implementation process and only consider definitions and results 1

3. Fifth generation language 1

1. The main kind of programming language logical language: Functional language ... Command-language

In FAQ3, there are two programming languages for C and Lisp, and you are now learning C, and later on C + +, Java,. NET
And so on, still only know half the world. Lisp and Haskell make up the other half of the world.

2. Logical language, no need to consider the implementation process and only consider the definition and results

such as the famous Prolog. Logical languages are generally designed on the basis of a mature logic system, such as First-order logic (for Prolog), because there are several benefits:
1) Rigorous logic reasoning is possible;
2) can be conveniently and effectively define knowledge base, which is very important in expert system;
3) Developers do not have to consider the implementation process but only the definition and results. This conforms to the design concept of expert system.

Author :: Old Wow's paw attilax ayron, email:[email protected]

Reprint please indicate source: Http://blog.csdn.net/attilax

3. Control structure will disappear, select, foreach etc...

Simply consider the definition and results, and the table will replace the select structure ...

4. Fifth generation language

The fifth generation language is natural language is also called the Knowledge Base language or the artificial intelligence language, the artificial intelligence language mainly has LISP,Prolog

One might ask, what is the difference between using AI language to solve problems and traditional methods?   

The traditional method usually puts all the knowledge of the problem in the fixed program, and the solution of the problem is carried out in the process of the procedure guided by the pre-arranged step by step (article by clause). Solve the problem of ideas with Feng . Neumann-type computer structure is consistent. The current large-scale database method, mathematical model method and statistic method are all strictly structured methods.   

For the problem that artificial intelligence technology solves, the whole knowledge can not be embodied in the fixed program. It is often necessary to establish a knowledge base (containing facts and inference rules), which determines its actions based on the environment and the input information given and the problems to be solved, so it is a process of reasoning under the guidance of the environment model. This approach has great flexibility, conversational ability, self-explanatory ability and learning ability. This method is not very clear or incomplete to solve some conditions and goals, (that is, not well formalized, bad description) of the unstructured problem than the traditional method, it usually uses heuristics, heuristics strategy to solve the problem.

In fact, each programming language is designed with
Unique, embodies the essence of each language, in the integration after the accumulation of it is the methodology.

Atitit. The main kind of programming language and trend logical language: Functional language ... Command-language