Ngôn ngữ Prolog

Xem 1-20 trên 45 kết quả Ngôn ngữ Prolog
  • Tài liệu tham khảo chuyên đề toán học về Ngôn ngữ Prolog

    pdf41p kanguru_91 30-09-2010 248 126   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

    pdf19p dauhukhothom 15-04-2011 284 116   Download

  • Nội dung chương 9 gồm: Giới thiệu: Bài toán được mô tả dưới dạng biểu thức logic các vị từ. Để giải được bài toán, cần có một cơ sở tri thức. Khi có một yêu cầu, hệ thống sẽ dựa vào cơ sở tri thúc để suy diễn; Ngôn ngữ PROLOG

    ppt11p chuotphatxit 19-09-2010 308 115   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, …

    pdf10p taoxanh1 29-10-2011 264 98   Download

  • Từ trước tới nay đã có hàng nghìn ngôn ngữ lập trình khác nhau được thiết kế và sử dụng. Hàng năm lại có nhiều ngôn ngữ mới ra đời. Các ngôn ngữ được dùng phổ biến có thể kể đến : Ngôn gữ Ada, Angol, APL, Asembly Basic, C, C++,Cobol, Fortran, Delphi, Java, Lisp,Pascal,Perl,PHP,Prolog, Python, Ruby.

    pdf36p warwick 21-01-2014 133 89   Download

  • 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.

    pdf19p dauhukhothom 15-04-2011 139 87   Download

  • Đế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.

    pdf19p dauhukhothom 15-04-2011 152 69   Download

  • Prolog được sử dụng nhiều trong các ứng dụng của trí tuệ nhân tạo và ngôn ngữ học trong khoa học máy tính (đặc biệt là trong ngành xử lý ngôn ngữ tự nhiên vì đây là mục tiêu thiết kế ban đầu của nó).

    pdf19p dauhukhothom 15-04-2011 105 52   Download

  • Prolog giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng.

    pdf19p dauhukhothom 15-04-2011 85 39   Download

  • Prolog là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo lô gích".

    pdf99p kudich 19-07-2013 53 25   Download

  • Giáo trình Logic Toán gồm 8 bài học. Phần 2 giáo trình gồm nội dung các bài học: Ngôn ngữ Prolog, logic mờ. Mời các bạn tham khảo nội dung chi tiết của tài liệu.

    pdf122p lalala09 22-01-2016 17 9   Download

  • Thức ăn nhanh giúp người ta nhanh chân hơn trong việc giành lấy cơ hội. Nhưng cũng rất nguy hiểm - nếu lạm dụng. Hãy thận trọng và ý thức. Mọi tấm huy chương đều có mặt trái. Nhưng tốt nhất là đừng lật mặt trái của nó lên. Hãy nhớ rằng ngôn ngữ là phương tiện, bất kể nó là loại ngôn ngữ nào. Nội dung truyền đạt quan trọng hơn là cách thức truyền đạt.

    pdf31p minhnguyen 17-06-2009 242 78   Download

  • 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

    pdf19p dauhukhothom 15-04-2011 157 66   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.

    pdf19p dauhukhothom 15-04-2011 101 55   Download

  • Cú pháp và ngữ nghĩa của Prolog đơn giản và sáng sủa, nó được người Nhật coi là một trong những nền tảng để xây dựng máy tính thế hệ thứ năm mà ở đó, thay vì phải mô tả cách giải quyết một bài toán trên máy tính, con người chỉ cần mô tả bài toán và máy tính sẽ hỗ trợ họ nốt phần còn lại.

    pdf19p dauhukhothom 15-04-2011 110 54   Download

  • Phần còn lại của các mệnh đề trong một chương trình Prolog được gọi là luật. Nó thường thể hiện những phát biểu logic trong bài toán, ví dụ như nếu công tác đèn bật thì đèn sáng

    pdf14p dauhukhothom 15-04-2011 82 35   Download

  • Đối với Prolog, một chương trình có thể hiểu như là các tri thức được người lập trình cung cấp cho hệ thống Prolog. Nhờ vào các kiến thức được cung cấp, hệ thống có thể trả lời được các câu hỏi được đặt ra, và câu trả lời có thể đạt được nhờ cơ chế suy luận của hệ thống dựa trên những kiến thức được cung cấp ban đầu.

    pdf103p windter 10-04-2010 407 178   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... ...

    pdf193p denngudo 14-06-2012 122 74   Download

  • 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

    pdf19p dauhukhothom 15-04-2011 108 46   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.

    ppt234p votinhdon91 26-08-2014 49 17   Download

Đồng bộ tài khoản