swi-prolog

9Nhiệt

1Trả lời

Làm thế nào để truy vấn RDF/OWL bằng cách sử dụng Thư viện Web ngữ nghĩa của SWI-Prolog?

Làm cách nào tôi có thể sử dụng Thư viện Web ngữ nghĩa SWI-Prolog để thực hiện truy vấn vào tệp OWL/RDF và trích xuất một số thông tin? Tệp OWL/RDF có thông tin về tất cả các gói Debian nên tôi cần th

6Nhiệt

1Trả lời

Phân tích cú pháp từ đầu vào tiêu chuẩn

Làm cách nào để phân tích đầu vào chuẩn (không có bộ đệm)? Nếu tôi hiểu chính xác, phrase/2 cần danh sách và phrase_from_file/2 từ library(pure_input) cần tệp. tôi giải quyết vấn đề của tôi sử dụng cá

8Nhiệt

2Trả lời

Prolog: Làm một thủ tục để in Hello World

Tôi muốn tải một cái gì đó đơn giản này thành biên tập của tôi: Write:-repeat,write("hi"),nl,fail. Vì vậy mà nó in "hi". Tôi nên làm gì? tôi đang cố gắng để làm File->New và lưu một file có tên Viết

7Nhiệt

2Trả lời

Có chương trình nào có thể vẽ cây tìm kiếm các truy vấn Prolog không?

Tôi đã tự hỏi liệu có tồn tại một công cụ có thể vẽ cây tìm kiếm từng bước của một chương trình Prolog không? Cảm ơn.

5Nhiệt

1Trả lời

Cách kết hợp PHP và Prolog

Tôi đang cố gắng gọi Prolog bằng cách sử dụng tập lệnh PHP. Tôi đang sử dụng cú pháp tôi thấy here, đó là: $cmd = "nice -n15 /software/bin/pl -f /home/popx/cgi-bin/test.pl -g test,halt"; Chương trìn

14Nhiệt

4Trả lời

SWI-Prolog - show danh sách dài

Tôi đang sử dụng SWI-Prolog và tôi đang cố gắng để in một danh sách nhưng nếu danh sách có hơn 9 mục - nó trông như thế - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] là có một cách để hiển thị toàn bộ danh

7Nhiệt

2Trả lời

Predsort/3 như msort/2

Tôi muốn biết là có thể sử dụng predsort/3 mà không làm mất giá trị trùng lặp? Nếu không, tôi nên sắp xếp danh sách thuật ngữ này như thế nào? hiện loại chức năng: compareSecond(Delta, n(_, A, _), n(_

6Nhiệt

1Trả lời

Các vết cắt màu xanh lá cây tối ưu cho số tiền tổng hợp kế thừa là gì?

Để cắt giảm màu xanh lá cây trong Prolog tôi đang cố gắng thêm chúng vào định nghĩa tiêu chuẩn của tổng trong arithmetics kế thừa (xem predicate plus trong What's the SLD tree for this query?). Ý tưởn

6Nhiệt

5Trả lời

Overflow xử lý trong GMP pow

(Tôi chỉ là một người sử dụng gián tiếp của GMP-thư viện chủ yếu thông qua swi-prolog và yap. Nhưng tôi rất quan tâm đến việc sửa chữa vấn đề này.) Khi thực hiện exponentiations với các giá trị ridicu

25Nhiệt

2Trả lời

Tại sao truy vấn prolog này là đúng và sai?

tôi nền tảng kiến thức SWI-Prolog chứa hai sự kiện sau đây: f(a,b). f(a,c). Bây giờ nếu tôi đặt ra các truy vấn ?- f(a,c). true. Nhưng ?- f(a,b). true ; false. Tại sao là f (a, b) cả đúng