Kỹ thuật lập 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 6 3   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 5 2   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 38 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 95 16   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 66 9   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 145 13   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 172 22   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 110 19   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 125 14   Download

Bài giảng Trí tuệ nhân tạo của trường ĐH Kinh tế Kỹ thuật Công nghiệp có nội dung trình bày tổng quan về kho học trí tuệ nhân tạo, các phương pháp biểu diễn và giải quyết vấn đề, ngôn ngữ nhân tạo Prolog.

234p votinhdon91 26-08-2014 390 64   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 124 21   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 202 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 94 14   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 498 112   Download

Hãy chắc chắn rằng bạn hiểu lý do tại sao Prolog không nhận được vào vòng lặp vô hạn với ngữ pháp này vì nó đã làm với các phiên bản trước. Đạo đức là: DCGs không phải ảo thuật. Họ là một ký hiệu tốt đẹp, nhưng bạn có thể không phải lúc nào cũng chỉ để "viết ngữ pháp như một DCG 'và nó làm việc.

18p kennguyen3 23-10-2011 65 5   Download

sử dụng một chức năng thời gian chạy để poke xung quanh trong các cấu trúc lớp khác nhau tìm kiếm mã để gọi. Kỹ thuật này có thể được nhiều lần chậm hơn so với lộ trình C + +. Mục tiêu-C cho biết thêm tính linh hoạt và tiện lợi với chi phí

18p kennguyen3 23-10-2011 51 5   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 415 124   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 167 61   Download

Tài liệu tham khảo, tập hợp các bài tập prolog

18p tixiuthu 18-04-2010 867 179   Download

Prolog là ngôn ngữ được sử dụng phổ biến nhất trong dòng các ngôn ngữ lập trình logic ( Prolog có nghĩa là Programming in logic). Ngôn ngữ Prolog do giáo sư người Pháp Alain colmerauer in logic.

0p ntgioi120406 30-11-2009 331 164   Download