programming in logic /toán & tin/
lập trình theo ngôn ngữ PROLOG
programming in logic
lập trình theo ngôn ngữ PROLOG
Programming in Logic, PROLOG, prologue
ngôn ngữ PROLOG
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.
Electronic switching system Program Language, programming in logic, programming language
ngôn ngữ lập trình của hệ thống chuyển mạch điện tử
Một ngôn ngữ nhân tạo bao gồm các từ vựng cố định và một tập các quy tắc (gọi là syntax-cú pháp) mà bạn cần dùng để lập ra các chỉ lệnh cho và tuân theo. Hầu hết các programming đều được viết bằng cách sử dụng một trình biên tập văn bản hoặc trình xử lý để soạn ra mã nguồn mà về sau sẽ được biên dịch hoặc thông dịch sang ngôn ngữ máy cho máy tính có thể thực hiện. Có nhiều loại ngôn ngữ lập trình, và hầu hết các khoa học gia về máy tính đều đồng ý rằng không có một ngôn ngữ duy nhất nào có đủ khả năng đáp ứng cho các yêu cầu của tất cả các lập trình viên. Các ngôn ngữ lập trình được chia ra hai loại ngôn ngữ bậc cao và ngôn ngữ bậc thấp.