prolog

    9Nhiệt

    1Trả lời

    Làm cách nào để thực hiện thao tác cho từng phần tử trong danh sách, theo thứ tự? Dựa trên hai nguồn sau đây: http://www.swi-prolog.org/pldoc/doc/swi/library/lists.pl http://www.swi-prolog.org/pldoc/d

    7Nhiệt

    4Trả lời

    Tôi đã được giao nhiệm vụ triển khai phiên bản tìm kiếm trong Prolog mà không sử dụng bất kỳ Prolog nào được xây dựng ngoại trừ không và cắt - về cơ bản là Prolog thuần túy. Tôi đang cố gắng để tìm ki

    5Nhiệt

    1Trả lời

    Có thiếu một số vị từ trong một lần triển khai Prolog, có sẵn trong các cài đặt khác. Chúng tôi có thể triển khai thiếu các biến vị ngữ, hãy gọi đây là "Lớp tương thích Prolog". Bạn có biết "Lớp tương

    6Nhiệt

    3Trả lời

    Tôi muốn sử dụng vị từ như: range(X,0,5) range(X,4,200) range(X,-1000000,1000000) dom_range(X,-1000000,1000000) với ý nghĩa: range(X,0,5) :- member(X,[0,1,2,3,4,5]). range(X,4,200) :- member(X,[

    7Nhiệt

    3Trả lời

    Làm cách nào để viết những điều sau đây trong Prolog? a -> b V c Trong tiếng Anh đó sẽ là a implies that b or c (or both)

    14Nhiệt

    3Trả lời

    Tôi đang cố gắng giữ mã Prolog của mình theo mô-đun và tôi tự hỏi liệu có ai có lời khuyên nào về cách thực hiện điều này không. Cách tôi đã làm điều này với đơn giản consult s, nhưng đó là nhận được

    5Nhiệt

    2Trả lời

    Tôi đọc http://cs.union.edu/~striegnk/learn-prolog-now/html/node3.html#subsec.l1.kb1, nhưng tôi đang gặp khó khăn khi chạy các vị sau đây: SICStus 4.0.1 (x86-win32-nt-4): Tue May 15 21:17:49 WEST 2007

    5Nhiệt

    1Trả lời

    Trong khi xử lý sự cố một bài tập lớn hơn cho trường học, tôi đã tìm thấy một sai lầm mà tôi đã thực hiện, nơi tôi đang xử lý một danh sách mục đơn (một ngăn xếp với một mục) như thể nó là một mục duy

    17Nhiệt

    2Trả lời

    Đối với tiếng leng keng, tôi đã bắt đầu học Prolog qua http://www.learnprolognow.org/. Lý do của tôi là tôi chỉ có chỉ cần bắt đầu. Tôi không chắc cách thực hiện bài tập (đơn giản?) Sau đây để làm việ

    6Nhiệt

    1Trả lời

    Có triển khai hoặc thư viện Prolog lưu trữ các vị từ không? Hoặc bạn sẽ thực hiện một, nói, FIFO bộ nhớ cache sử dụng assertz/1 và rút/1, như thế này: :- dynamic cache/1. ccall(G) :- cache(G). ccall