Tìm tài liệu

Lap trinh logic trong Prolog

Lập trình logic trong Prolog

Upload bởi: meoconmk2003

Mã tài liệu: 189389

Số trang: 185

Định dạng: pdf

Dung lượng file:

Chuyên mục: Kỹ thuật - Công nghệ

Info

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. Đến năm 1980, prolog nhanh chóng được áp dụng rộng rãi, đựoc người Nhật chọn làm ngôn ngữ phát triển máy tính thế hệ 5. Prolog đã dược cài đặt trên hầu hết các dòng máy tính unix/lunix, Macintosh, Windows.
Nguyên lý của prlog dựa trên phép suy diễn logic, liên quan đến những khái niệm toán học như phép hợp nhất herbran, hợp giả Robinson, logic vị từ bậc một,...Prolog rất thích hợp để giải quyết các bài toán liên quan tới các đối tượng và mối quan hệ giữa chúng. Prolog được ứng dụng chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, hệ chuyên gia, máy móc, xử lý ngông ngữ, trò chơi,...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.
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
Tài liệu tham khảo
Xin được giới thiệu tới bạn đọc!

Phần bên dưới chỉ hiển thị một số trang ngẫu nhiên trong tài liệu. Bạn tải về để xem được bản đầy đủ

  • Lập trình logic trong Prolog
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Đang tải dữ liệu ...
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog
  • Lập trình logic trong Prolog

GỢI Ý

Những tài liệu gần giống với tài liệu bạn đang xem

Lập Trình Logic 2

Upload: toiyeubien1972

📎 Số trang: 15
👁 Lượt xem: 409
Lượt tải: 18

Lập Trình Logic 1

Upload: tranliethung

📎 Số trang: 11
👁 Lượt xem: 589
Lượt tải: 20

AutoCad lập trình trong Autocad

Upload: thanhbinh1302

📎 Số trang: 26
👁 Lượt xem: 463
Lượt tải: 18

Lập trình đa tiến trình trong CSharp

Upload: haducle

📎 Số trang: 24
👁 Lượt xem: 552
Lượt tải: 16

Lập trình đa tiến trình trong CSharp

Upload: QUOC1611

📎 Số trang: 2
👁 Lượt xem: 548
Lượt tải: 16

Lập trình đa tiến trình trong CSharp

Upload: thanhnhanit

📎 Số trang: 1
👁 Lượt xem: 547
Lượt tải: 16

AutoCad Và lập trình trong Autocad 1

Upload: tranthanhhong09

📎 Số trang: 25
👁 Lượt xem: 666
Lượt tải: 16

AutoCad Và lập trình trong Autocad

Upload: bichphuongsecret

📎 Số trang: 25
👁 Lượt xem: 915
Lượt tải: 17

Giáo Trình Lập Trình C Trong 21 Ngày

Upload: hoangdungtimgroup

📎 Số trang: 124
👁 Lượt xem: 1140
Lượt tải: 20

Đề và giải bài tập prolog

Upload: kisy_aochoangden

📎 Số trang: 5
👁 Lượt xem: 2688
Lượt tải: 71

3vấn đề cơ bản trong ngôn ngữ lập trình C

Upload: phuonglien88

📎 Số trang: 22
👁 Lượt xem: 356
Lượt tải: 16

Logic for Everyone

Upload: tuthiethung

📎 Số trang: 124
👁 Lượt xem: 396
Lượt tải: 16

QUAN TÂM

Những tài liệu bạn đã xem

Lập trình logic trong Prolog

Upload: meoconmk2003

📎 Số trang: 185
👁 Lượt xem: 1380
Lượt tải: 20

CHUYÊN MỤC

Kỹ thuật - Công nghệ
Lập trình logic trong Prolog 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. Đến năm 1980, prolog nhanh chóng được áp dụng rộng rãi, đựoc người Nhật chọn làm ngôn ngữ phát triển máy pdf Đăng bởi
5 stars - 189389 reviews
Thông tin tài liệu 185 trang Đăng bởi: meoconmk2003 - 08/01/2024 Ngôn ngữ: Việt nam, English
5 stars - "Tài liệu tốt" by , Written on 08/01/2024 Tôi thấy tài liệu này rất chất lượng, đã giúp ích cho tôi rất nhiều. Chia sẻ thông tin với tôi nếu bạn quan tâm đến tài liệu: Lập trình logic trong Prolog