Kỹ thuật lập trình prolog

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 394 65   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 129 14   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 115 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 127 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

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 506 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 416 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

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

18p tixiuthu 18-04-2010 871 179   Download