Lập trình logic Prolog

Prolog là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo lô gích". Xuất hiện từ năm 1972 (do Alain Colmerauer và Robert Kowalski thiết kế), mục tiêu của Prolog là giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng....

99p kudich 19-07-2013 128 35   Download

Bài giảng Lập trình logic và ràng buộc (Logic Programming and Constraint): Bài 1 do TS. Lê Mạnh Hải biên soạn cung cấp cho các bạn những kiến thức về lược sử Prolog và các dòng sản phẩm; cài đặt SWI-Prolog và SWI-Prolog editor. Mời các bạn tham khảo.

24p cocacola_06 06-11-2015 130 14   Download

Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 8: Ngôn ngữ lập trình logic giới thiệu lập trình logic, mệnh đề, ngôn ngữ Turbo ProLog. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này.

42p maiyeumaiyeu26 04-01-2017 193 32   Download

Chương 6 trình bày về "Biểu diễn tri thức và sử dụng thuật". Nội dung cụ thể của chương này gồm có: Tri thức khai báo và thủ tục, suy diễn tiến, suy diễn lùi, lập trình logic, giới thiệu ngôn ngữ Prolog,...

27p thiennga_12 06-03-2018 71 3   Download

Bài giảng Trí tuệ nhân tạo: Bài 11+12+13 - Phạm Thị Anh Lê cung cấp cho học viên những kiến thức về Lập trình logic Prolog, giới thiệu ngôn ngữ Prolog, các kiểu dữ liệu sơ cấp, sự kiện và luật trong Prolog, kiểu dữ liệu cấu trúc của Prolog, một số chương trình Prolog,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

24p bachnhuocdong 23-12-2021 43 6   Download

Bài giảng Trí tuệ nhân tạo (Artificial Intelligence) - Chương 7 cung cấp kiến thức về logic vị từ. Những nội dung chính trong chương gồm có: Logic bậc nhất (First Order Logic – FOL), cú pháp và ngữ nghĩa, các lượng từ, hợp giải với logic vị từ, dạng mệnh đề, lập trình logic turbo prolog. Mời các bạn cùng tham khảo để biết thêm nội dung chi tiết!

41p nienniennhuy11 09-11-2024 6 0   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 116 20   Download

Tìm hiểu về khái niệm và vai trò của Mẫu thiết kế (design pattern) nói chung và mẫu thiết kế hợp nhất nói chúng cũng như việc áp dụng mẫu thiết kế hợp nhất (union design pattern) - Thực hiện chuyển biểu đồ lớp UML sang dạng đặc tả OWL Ontology trên cơ sở lý thuyết bài khóa luận của sinh viên Giáp Thị Ngọc Thúy đã thực hiện. - Tìm hiểu một số công cụ đã có hỗ trợ việc so sánh hai OWL Ontology, phân tích những ưu nhược điểm của chúng. - Tìm kiếm giải pháp cho...

58p truongnghen 30-08-2012 102 29   Download

1. Giới thiệu PROgramming in LOGic (sử dụng cách tiếp cận logic) Alain Calmerauer & Philippe Roussel, 1972 Dùng ngôn ngữ mô tả/khai báo (declarative language) để đặc tả vấn đề Ứng dụng nhiều trong xử lý ngôn ngữ tự nhiên và TTNT. Turbo Prolog, Visual Prolog, B-Prolog, SWIProlog, …

10p taoxanh1 29-10-2011 519 113   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 420 125   Download

Nội dung cuốn sách tập trung trình bầy cơ sở lý thuyết và những kỹ thuật lập trình cơ bản trong prolog, rất cần cho sinh viên các ngành tin học và các bạn đọc muốn tìm hiểu về kỹ thuật lập trình ứng dụng trong lĩnh vực trí tuệ nhân tạo.

19p dauhukhothom 15-04-2011 170 62   Download

Prolog là ngôn ngữ lập trình logic( programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường ĐH Maseille, Pháp.

19p dauhukhothom 15-04-2011 212 93   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 453 122   Download