Chương trình prolog

Bài giảng "Trí tuệ nhân tạo - Chương 5: Ngôn ngữ lập trình Prolog" cung cấp cho người học các kiến thức: Giới thiệu, cú pháp, cơ chế tìm lời giải của Prolog, danh sách (list). Mời các bạn cùng tham khảo nội dung chi tiết.

5p dien_vi08 18-11-2018 84 8   Download

Trong bài giảng này, chúng ta sẽ cùng tìm hiểu về lập trình logic Prolog. Trong chương này gồm có các nội dung chính sau: Biễu diễn cấu trúc danh sách, một số vị từ xử lí danh sách, các thao tác cơ bản trên danh sách,... Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

18p namthangtinhlang_04 15-11-2015 112 20   Download

Có một vài nhà cung cấp phát triển mở rộng thị trường các công cụ rất đa dạng hỗ trợ bảo trì phần mềm. Một số yếu tố khi xem xét chọn lựa.Khả năng: hỗ trợ tác vụ thực thi (tính tự động, hay làm tay).Chức năng: xem xét tính năng tự động.Ngôn ngữ lập trình: hỗ trợ ngôn ngữ Java, Ada, C, C++,Cobol, Fortran, Modula-2, Lisp and Prolog, …

11p teouit 05-01-2013 126 22   Download

Điều khiển quá trình quay lui (backtracking) Prolog tự động quay lui khi cần thiết Có thể điều khiển quá trình thực thi của chương trình bằng cách sắp lại thứ tự các mệnh đề Nhát cắt là một toán tử dùng để ngăn cản quá trình backtracking của Prolog.

10p taoxanh1 29-10-2011 97 15   Download

Phần còn lại của các mệnh đề trong một chương trình Prolog được gọi là luật. Nó thường thể hiện những phát biểu logic trong bài toán, ví dụ như nếu công tác đèn bật thì đèn sáng

14p dauhukhothom 15-04-2011 125 39   Download

Chương 1: Mở đầu về ngôn ngữ Prolog Chương 2: Ngữ nghĩa của chương trình Prolog Chương3: Các phép toàn và số học Chương 4: Cấu trúc danh sách Chương 5: Kỹ thuật lập trình Prolog Phụ lục A: Một số chương trình Prolog Phụ lục B: Hướng dẫn sử dụng SWI-Prolog

19p dauhukhothom 15-04-2011 416 125   Download

Nội dung chương 9 gồm: 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

11p chuotphatxit 19-09-2010 448 122   Download