Bài giảng cung cấp cho người học các kiến thức: Lập trình logic, biểu thức logic, cấu trúc chương trình, tổ chức dữ liệu, miền con của số nguyên,. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu. chi tiết nội dung bài giảng. | Nguyễn Văn Linh - Programing Language - Chapter 1 NGÔN NGỮ LẬP TRÌNH 45 tiết = 3 đơn vị học trình Giảng viên: Nguyễn Văn Linh E-mail: nvlinh@ Tel: (84) (71) 831301 Nguyễn Văn Linh - Programing Language - Chapter 2 CHƯƠNG 7: LẬP TRÌNH LOGIC GIỚI THIỆU. Bài toán được mô tả dưới dạng biểu thức logic các vị từ. Để giải được bài toán, cần có một cơ sở tri thức. Khi có một yêu cầu, hệ thống sẽ dựa vào cơ sở tri thúc để suy diễn. NGÔN NGỮ PROLOG. Nguyễn Văn Linh - Programing Language - Chapter 2 NGÔN NGỮ PROLOG Giới thiệu. Được Philippe Roussel, Alian Calmerour phát triển vào đầu thập niên 70. Cấu trúc chương trình. Nguyễn Văn Linh - Programing Language - Chapter 2 SỰ CÀI ĐẶT Tổ chức dữ liệu trong bộ nhớ: Biểu diễn bởi phần cứng. Cài đặt các phép toán: Sử dụng phép toán phần cứng; Tạo các thủ tục hoặc hàm; Chuỗi các dòng mã lệnh. Nguyễn Văn Linh - Programing Language - Chapter 2 KIỂU DỮ LIỆU SỐ Số nguyên. Miền con của số nguyên (Subranges). Số thực dấu chấm động (Floating-point real numers). Nguyễn Văn Linh - Programing Language - Chapter 2 SỐ NGUYÊN Sự đặc tả các thuộc tính: Kiểu dữ liệu nguyên. Ðặc tả các phép toán: Các phép toán số học. Các phép toán quan hệ. Phép gán trị. Cài đặt: Sử dụng phần cứng. Nguyễn Văn Linh - Programing Language - Chapter 2 MIỀN CON CỦA SỐ NGUYÊN Sự đặc tả: Một dãy các số nguyên trong một khoảng đã định. Các phép toán tương tự như kiểu số nguyên. Cài đặt: Tốn ít bộ nhớ hơn. Kiểm tra kiểu tốt hơn. Nguyễn Văn Linh - Programing Language - Chapter 2 SỐ THỰC DẤU CHẤM ĐỘNG Đặc tả: Một dãy có thứ tự từ một số âm nhỏ nhất đến một số dương lớn nhất có thể lưu trữ được bởi phần cứng. Các phép toán: Tương tự số nguyên + Các hàm Cài đặt: Sử dụng biểu diễn của phần cứng: Phần định trị và phần mũ. Nguyễn Văn Linh - Programing Language - Chapter 2 KIỂU LIỆT KÊ Đặc tả: Liệt kê danh sách các hằng trực kiện có thứ tự. Các phép toán: quan hệ, gán, xác định phần tử đứng trước/sau một phần tử. Cài đặt: Mỗi trực . | Nguyễn Văn Linh - Programing Language - Chapter 1 NGÔN NGỮ LẬP TRÌNH 45 tiết = 3 đơn vị học trình Giảng viên: Nguyễn Văn Linh E-mail: nvlinh@ Tel: (84) (71) 831301 Nguyễn Văn Linh - Programing Language - Chapter 2 CHƯƠNG 7: LẬP TRÌNH LOGIC GIỚI THIỆU. Bài toán được mô tả dưới dạng biểu thức logic các vị từ. Để giải được bài toán, cần có một cơ sở tri thức. Khi có một yêu cầu, hệ thống sẽ dựa vào cơ sở tri thúc để suy diễn. NGÔN NGỮ PROLOG. Nguyễn Văn Linh - Programing Language - Chapter 2 NGÔN NGỮ PROLOG Giới thiệu. Được Philippe Roussel, Alian Calmerour phát triển vào đầu thập niên 70. Cấu trúc chương trình. Nguyễn Văn Linh - Programing Language - Chapter 2 SỰ CÀI ĐẶT Tổ chức dữ liệu trong bộ nhớ: Biểu diễn bởi phần cứng. Cài đặt các phép toán: Sử dụng phép toán phần cứng; Tạo các thủ tục hoặc hàm; Chuỗi các dòng mã lệnh. Nguyễn Văn Linh - Programing Language - Chapter 2 KIỂU DỮ LIỆU SỐ Số nguyên. Miền con của số nguyên (Subranges). Số thực dấu chấm .
