CHƯƠNG 9: LẬP TRÌNH LOGIC GIỚI THIỆU • Bài tốn mô tả dạng biểu thức logic vị từ • Để giải tốn, cần có sở tri thức • Khi có u cầu, hệ thống dựa vào sở tri thúc để suy diễn NGÔN NGỮ PROLOG Nguyễn Văn Linh - Programing Language - Chapte r2 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 - Chapte r2 SỰ CÀI ĐẶT Tổ chức liệu nhớ: Biểu diễn phần cứng Cài đặt phép toán: Sử dụng phép toán phần cứng; Tạo thủ tục hàm; Chuỗi dòng mã lệnh Nguyễn Văn Linh - Programing Language - Chapte r2 KIỂU DỮ LIỆU SỐ Số nguyên Miền số nguyên (Subranges) Số thực dấu chấm động (Floating-point real numers) Nguyễn Văn Linh - Programing Language - Chapte r2 SỐ NGUYÊN Sự đặc tả thuộc tính: Kiểu liệu nguyên Ðặc tả phép tốn: • Các phép tốn số học • Các phép tố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 - Chapte r2 MIỀN CON CỦA SỐ NGUYÊN Sự đặc tả: • Một dãy số nguyên khoảng định • Các phép tốn tương tự kiểu số ngun Cài đặt: • Tốn nhớ • Kiểm tra kiểu tốt Nguyễn Văn Linh - Programing Language - Chapte r2 SỐ THỰC DẤU CHẤM ĐỘNG Đặc tả: • Một dãy có thứ tự từ số âm nhỏ đến số dương lớn lưu trữ 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 phần cứng: Phần định trị phần mũ Nguyễn Văn Linh - Programing Language - Chapte r2 KIỂU LIỆT KÊ Đặc tả: • Liệt kê danh sách trực kiện có thứ tự • Các phép tốn: quan hệ, gán, xác định phần tử đứng trước/sau phần tử Cài đặt: • Mỗi trực kiện biểu diễn số nguyên không âm, cần số bit để biểu diễn cho giá trị • Cài đặt phép toán dựa vào phép toán số nguyên Nguyễn Văn Linh - Programing Language - Chapte r2 KIỂU LOGIC Đặc tả: • Có thể xem kiểu liệt kê: (FALSE, TRUE) • Các phép tốn: NOT, AND, OR Cài đặt: • Sử dụng đơn vị nhớ (bite/word) để lưu trữ giá trị logic • Sử dụng bit đơn vị nhớ để lưu • Sử dụng đơn vị nhớ để lưu khác Nguyễn Văn Linh - Programing Language - Chapte r2 KIỂU KÝ TỰ Sự cần thiết phải có kiểu ký tự: • Tất liệu từ thiết bị nhập, xuất ký tự, chuỗi ký tự • Có chuyển đổi tự động từ ký tự (chuỗi ký tự) thành số nhập hay xuất • Ngơn ngữ cần xử lý ký tự cách trực tiếp (văn bản) • Dựa vào kiểu ký tự để xây dựng kiểu chuỗi ký tự Nguyễn Văn Linh - Programing Language - Chapte r2 10 KIỂU KÝ TỰ Đặc tả: • Một liệt kê ký tự định nghĩa ngôn ngữ, tương ứng với ký tự chuẩn phần cứng hệ điều hành • Các phép tốn: Quan hệ, phép gán Cài đặt: • Sử dụng phần cứng hệ điều hành Nguyễn Văn Linh - Programing Language - Chapte r2 11 ...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 - Chapte... dòng mã lệnh Nguyễn Văn Linh - Programing Language - Chapte r2 KIỂU DỮ LIỆU SỐ Số nguyên Miền số nguyên (Subranges) Số thực dấu chấm động (Floating-point real numers) Nguyễn Văn Linh - Programing... tự (chuỗi ký tự) thành số nhập hay xuất • Ngôn ngữ cần xử lý ký tự cách trực tiếp (văn bản) • Dựa vào kiểu ký tự để xây dựng kiểu chuỗi ký tự Nguyễn Văn Linh - Programing Language - Chapte r2 10