Chương trình prolog

Phần 2 của cuốn sách "Lập trình lôgic trong Prolog" cung cấp cho bạn đọc những nội dung gồm: 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;... Mời các bạn cùng tham khảo!

86p dongmelo 20-05-2024 12 4   Download

Phần 1 của cuốn sách "Lập trình lôgic trong Prolog" cung cấp cho bạn đọc những nội dung gồm: Chương 1 - Mở đầu về ngôn ngữ Prolog; Chương 2 - Ngữ nghĩa của chương trình Prolog; Chương 3 - Các phép toán và số học; Chương 4 - Cấu trúc danh sách;... Mời các bạn cùng tham khảo!

140p dongmelo 20-05-2024 11 3   Download

Bài giảng Công nghệ lập trình tích hợp: Chương 4.0 Tạo tài liệu XML, cung cấp cho người đọc những kiến thức như: Trình soạn thảo XML; Trình duyệt XML; Trình kiểm tra XML; Tạo tài liệu XML; Tạo prologs. Mời các bạn cùng tham khảo!

40p chankora08 04-07-2023 12 4   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 39 6   Download

Tiếp nội dung phần 1, Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 cung cấp cho người học những kiến thức như: Logic vị từ; Chiến lược phân giải sử dụng tập hỗ trợ; Biểu diễn tri thức; Kiểu dữ liệu cấu trúc của Prolog; Ngữ nghĩa của chương trình Prolog;...Mời các bạn cùng tham khảo!

141p ermintrudetran 01-06-2021 40 10   Download

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và những phương pháp lập trình cơ bản nhất của môn học "Lập trình lôgic" (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgic được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi,... Sách gồm 5 chương riêng phần 1 trình bày 3 nội dung đầu: Giới thiệu ngôn ngữ lập trình prolog, ngữ nghĩa của chương trình prolog, các phép toán và số học.

114p hanh_tv22 11-03-2019 97 17   Download

Nối tiếp phần 1, phần 2 giáo trình đề cập về các vấn đề sau: Chương 4 trình bày cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của prolog; chương 5 trình bày kỹ thuật lập trình nâng cao với prolog; phần phụ lục giới thiệu ngôn ngữ lập trình SWI-Prolog, hướng dẫn cách cài đặt sử dụng phần mềm này và một số chương trình ví dụ tiêu biểu viết trong SWI Prolog đã chạy có kết quả.

144p hanh_tv22 11-03-2019 69 10   Download

Nối tiếp phần 1, phần 2 sách gồm: Chương 4 trình bày cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của prolog; chương 5 trình bày kỹ thuật lập trình nâng cao với prolog. Phần phụ lục giới thiệu ngôn ngữ lập trình SWI-Prolog, hướng dẫn cách cài đặt sử dụng phần mềm này và một số chương trình ví dụ tiêu biểu viết trong SWI Prolog đã chạy có kết quả. Cuốn sách này dùng làm giáo trình cho sinh viên ngành Tin học và những bạn đọc muốn tìm hiểu thêm về kỹ thuật lập trình cho lĩnh vực trí tuệ nhân tạo, mời các bạn cùng tham khảo.

86p hanh_tv21 02-03-2019 150 14   Download

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và những phương pháp lập trình cơ bản nhất của môn học "Lập trình lôgich". Bạn đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi, v.v... Mời các bạn cùng tham khảo phần 1 sách gồm 3 chương đầu.

99p hanh_tv21 02-03-2019 189 22   Download

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 82 8   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 69 3   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 183 32   Download

Bài giảng Chương 2: Kỹ thuật lập trình prolog (Prolog Programming Techniques) bao gồm những nội dung về cách biểu diễn list, số học, cách biểu diễn cấu trúc, điều khiển backtracking, xuất/nhập, một số vị từ thư viện quan trọng.

68p cocacola_10 08-12-2015 113 20   Download

p 01-01-1970   Download

Phần 2 Giáo trình Trí tuệ nhân tạo (Artificial Intelligence) gồm các chương: Chương 5 – Các phương pháp tìm kiếm lời giải thỏa mãn các ràng buộc, chương 6 – Các phương pháp lập luận trên logic mệnh đề, chương 7 – Các phương pháp lập luận trên logic cấp một, chương 8 – Prolog, chương 9 – Lập luận với tri thức không chắc chắn, chương 10 – Học mạng nơron nhân tạo.

62p lalala04 27-11-2015 194 43   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

Bài giảng Hệ quản trị cơ sở dữ liệu: Chương 5 Ngôn ngữ truy vấn dữ liệu trình bày về cho phép xử lý, trích rút DL từ CSDL, các loại ngôn ngữ, đại số quan hệ (tập các quan hệ) SQL, phép tính quan hệ bộ (tập các bộ), phép tính quan hệ miền (tập các miền) QBE: Sử dụng trong Access, giao diện đồ họa, Datalog: Cú pháp như Prolog.

32p thick_12 14-07-2014 112 22   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

Cuốn sách này nhằm cung cấp cơ sở lý thuyết và các phương pháp lập trình cơ bản nhất của môn học «Lập trình lôgich» (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi, v.v... ...

193p denngudo 14-06-2012 203 84   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