User Tag List

+ Trả lời chủ đề
Hiện kết quả từ 1 tới 1 của 1

Chủ đề: svBKlib: Lập trình logic trong Prolog

  1. #1
    HUT's Student Avatar của cckm
    Tham gia ngày
    Nov 2011
    Bài gửi
    294

    Mặc định svBKlib: Lập trình logic trong Prolog

    Thư viện số svBK: Tài liệu mới được upload bởi cckm:

    Lập trình logic trong Prolog

    Tải về

    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

  2. Tớ cảm ơn cckm đã chia sẻ.


+ Trả lời chủ đề

Thông tin chủ đề

Users Browsing this Thread

Hiện có 1 người đọc bài này. (0 thành viên và 1 khách)

Từ khóa (Tag) của chủ đề này

Quyền viết bài

  • Bạn không thể gửi chủ đề mới
  • Bạn không thể gửi trả lời
  • Bạn không thể gửi file đính kèm
  • Bạn không thể sửa bài viết của mình


About svBK.VN

    Bách Khoa Forum - Diễn đàn thảo luận chung của sinh viên ĐH Bách Khoa Hà Nội. Nơi giao lưu giữa sinh viên - cựu sinh viên - giảng viên của trường.

Follow us on

Twitter Facebook youtube