Định nghĩa Prolog là gì?
Prolog là Prolog. Đây là nghĩa tiếng Việt của thuật ngữ Prolog - một thuật ngữ thuộc nhóm Technology Terms - Công nghệ thông tin.
Độ phổ biến(Factor rating): 5/10
Programmation en Logique (Lập trình trong Logic) hoặc Prolog là một ngôn ngữ lập trình cấp cao mà có nguồn gốc từ first-order logic hoặc first-order predicate calculus. Ngôn ngữ đã được hình thành ở Marseilles, Pháp trong những năm 1970 bởi một nhóm do Alain Colmerauer. Đây là một trong những ngôn ngữ lập trình logic đầu tiên và nó vẫn còn phổ biến hiện nay. Nó là một ngôn ngữ lập trình phổ biến liên quan đến ngôn ngữ học tính toán và trí tuệ nhân tạo và được sử dụng trong các hệ thống chuyên gia, lý minh và khớp mẫu trên cây phân tích cú pháp ngôn ngữ tự nhiên và xử lý ngôn ngữ tự nhiên.
Xem thêm: Thuật ngữ công nghệ A-Z
Giải thích ý nghĩa
Hệ thống Prolog đầu tiên được phát triển vào năm 1972 bởi Colmerauer cùng với Philippe Roussel và được dựa trên giải thích thủ tục Robert Kowalski của khoản Horn. Nó cũng đã được thúc đẩy một phần bởi mong muốn hòa giải việc sử dụng logic như một kiến thức ngôn ngữ đại diện khai báo với đại diện thủ tục của kiến thức. Prolog đã được cố ý phát triển cho xử lý ngôn ngữ tự nhiên - liên quan đến máy tính và con người tương tác ngôn ngữ (tự nhiên).
What is the Prolog? - Definition
Programmation en Logique (Programming in Logic) or Prolog is a high-level programming language that has its roots in first-order logic or first-order predicate calculus. The language was conceived in Marseilles, France in the early 1970s by a group led by Alain Colmerauer. It is one of the first logic programming languages and it remains popular today. It is a programming language commonly associated with computational linguistics and artificial intelligence and is used in expert systems, theorem proving and pattern matching over natural language parse trees and natural language processing.
Understanding the Prolog
The first Prolog system was developed in 1972 by Colmerauer together with Philippe Roussel and was based on Robert Kowalski’s procedural interpretation of Horn clauses. It was also partly motivated by the desire to reconcile the use of logic as a declarative knowledge representation language with procedural representation of knowledge. Prolog was purposely developed for natural language processing – concerned with computer and human (natural) language interactions.
Thuật ngữ liên quan
- Artificial Intelligence (AI)
- Machine Learning
- Natural Language Processing (NLP)
- Programming Logic
- Declarative Programming
- Backtracking
- Unification
- Commit
- Access Modifiers
- Acyclic
Source: Prolog là gì? Technology Dictionary - Filegi - Techtopedia - Techterm