Logic và Prolog

Mấy hôm nay, có yêu cầu research về 5GL. Anh Phước và An có chỉ cho một ít về Prolog. Suy nghĩ. Suy nghĩ.

Prolog phát triển theo hướng logic vị từ. Theo quan điểm của Prolog, chương trình nên phát biểu logic bài toán, đề ra các sự thật (? factor), luật, và mục tiêu. Việc giải sẽ do máy tính làm.

Giả sử, chỉ dùng tư duy của Prolog rằng: lập trình viên nên chú trọng phát biểu logic bài toán. Với các ngôn ngữ hiện tại, nên áp dụng thế nào?

Hiện nay, các progmer (có tui nữa) khá phụ thuộc vào debuger. Khi gặp một lỗi (diễn đạt logic không tốt) thì công việc không phải là xem lại logic sai chỗ nào, mà là dùng debuger để tìm xem nguyên nhân gây bug.

Có phải vì đã xem nhẹ việc lập trình mà không học thêm toán không?