prolog nghĩa là gì

• • (viết tắt cho PROgramming in LOGic) Tên một ngôn ngữ lập trình cấp cao
  
  
  Từ điển kỹ thuật
  • ngôn ngữ PROLOG

  Giải thích VN: Một ngôn ngữ lập trình bậc cao được dùng trong các nghiên cứu và ứng dụng trí tuệ nhân tạo, và một phần trong các hệ chuyên gia. Prolog, viết tắt của PROgramming in LOGic, do nhà bác học máy tính Alain Colmerauer và nhà logic học Philippe Roussel cùng là người Pháp, xây dựng nên từ những năm đầu 1970. Giống như LIPS, PROLOG là loại ngôn ngữ khai báo; thay vì báo cho máy tính biết phải theo thủ tục nào để giải quyết bài toán, thì ở đây lập trình viên mô tả bài toán sẽ được giải quyết.

• A prolog program consists of facts and rules.
  Cơ sở tri thức bao gồm các sự kiện và các luật.
• Alain Colmerauer is the creator of the logic programming language Prolog.
  Alain Colmerauer phát triển ngôn ngữ lập trình Prolog.
• Alain Colmerauer is the creator of the logic programming language Prolog.
  Alain Colmerauer phát triển ngôn ngữ lập trình Prolog.
• Alain Colmerauer developed the Prolog computer language.
  Alain Colmerauer phát triển ngôn ngữ lập trình Prolog.
• Alain Colmerauer developed the Prolog computer language.
  Alain Colmerauer phát triển ngôn ngữ lập trình Prolog.
• And people write Prolog programs that way.
  Bây giờ người ta viết những chương trình lớn là theo cách đó.
• MCPL, a typeless language with features taken from BCPL, C, ML and Prolog.
  | | Một ngôn ngữ không cần thiết liên quan đến BCPL, ML, C và prolog
• MCPL, a typeless language with features taken from BCPL, C, ML and Prolog.
  | | Một ngôn ngữ không cần thiết liên quan đến BCPL, ML, C và prolog
• This Prolog machine is also known as the Warren Abstract Machine (or WAM).
  Loại máy Prolog này còn được gọi là máy trừu tượng Warren (hay WAM).
• This Prolog machine is also known as the Warren Abstract Machine (or WAM).
  Loại máy Prolog này còn được gọi là máy trừu tượng Warren (hay WAM).