tailieunhanh - PROLOG FAST FOOT

Thức ăn nhanh giúp người ta nhanh chân hơn trong việc giành lấy cơ hội. Nhưng cũng rất nguy hiểm - nếu lạm dụng. Hãy thận trọng và ý thức. Mọi tấm huy chương đều có mặt trái. Nhưng tốt nhất là đừng lật mặt trái của nó lên. Hãy nhớ rằng ngôn ngữ là phương tiện, bất kể nó là loại ngôn ngữ nào. Nội dung truyền đạt quan trọng hơn là cách thức truyền đạt. | Prolog Fast Foot Prolog Fast Foot . NỘI DUNG thức. Mọi tấm huy chương đều có mặt trái. Nhưng tốt nhất là đừng lật mặt trái của nó lên. HƯỚNG DẪN 2 Hãy nhớ rằng ngôn ngữ là phương tiện, bất kể nó là loại ngôn ngữ nào. ĐẶC ĐIỂM CỦA PROLOG 5 Nội dung truyền đạt quan trọng hơn là cách thức truyền đạt. CẤU TRÚC CỦA CHƯƠNG TRÌNH PROLOG 6 Tài liệu này cung cấp một số kiến thức cơ bản, giúp cho người đọc hiểu được quan điểm lập trình luận lý (logic programming). Cung cách lập DOMAINS 7 trình này có khác với loại lập trình cấu trúc thường gặp trong các ngôn PREDICATES 9 ngữ Pascal, C, Fortran, . Vì vậy việc làm quen với một phong cách CLAUSES 10 mới cần phải có thời gian. Thời gian để quên cái cũ. Do đó tài liệu này GOAL 13 cố tránh né việc trình bày dưới góc độ cấu trúc. Tuy nhiên cũng đã có ĐẶC ĐIỂM CỦA BIẾN 14 đôi lúc vì sự cám dỗ của người đọc mà lại sa đà vào. Và cũng hy vọng BẢN CHẤT ĐỆ QUI 15 rằng, đây cũng như là sự cám dỗ cuối cùng của chúa. KIỂU DANH SÁCH 17 Một bài toán từ khi đặt ra cho đến khi có được lời giải phải thực hiện NGUYÊN TẮC TRẢ LỜI GOAL 20 một khối lượng công việc là M. Dù bài toán được giải bằng ngôn ngữ CƠ CHẾ HOẠT ĐỘNG CỦA PROLOG 23 lập trình nào thì khối lượng vẫn là M. Ai sẽ đảm nhiệm khối lượng này LẬP TRÌNH LUẬN LÝ − MÔ TẢ 30 ?. Người lập trình đương nhiên sẽ phải đảm nhiệm một phần, phần còn lại do hệ thống gánh vác. Như vậy người lập trình trong hệ thống phải LẬP TRÌNH LUẬN LÝ − ĐỆ QUI 34 biết phần việc nào mình làm và phần việc nào mình không làm. Đây TẠP LUẬN 45 chính là hành vi cần phải nhận thức. Sự phân chia này sẽ rất khác nhau LỊCH SỬ 59 ở các ngôn ngữ lập trình. Người lập trình trong hệ thống Prolog luôn là TÀI LIỆU THAM KHẢO 62