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

prolog rdf swi-prolog semantic-web owl 2011-06-13

---

7Nhiệt

1Trả lời

Các sự cố với DCG

của dự án Prolog là về dịch ngôn ngữ bán tự nhiên sang các bảng SQL. Mã này: label(S) --> label_h(C), {atom_codes(A, C), string_to_atom(S, A)}, !. label_h([C|D]) --> letter(C), letters_or_digits(D),

prolog nlp grammar dcg 2011-01-28

---

7Nhiệt

2Trả lời

Tại sao lệnh này gây ra tràn ngăn xếp trong prolog?

Tôi có đoạn mã sau đây prolog: num(0). num(X) :- num(X1), X is X1 + 1. fact(0,1) :-!. fact(X,Y) :- X1 is X-1, fact(X1,Y1), !, Y is Y1 * X. fact(X) :- num(Y), fact(Y,X). ai đó có thể vui lòng g

prolog failure-slice 2011-01-29

---

16Nhiệt

4Trả lời

Erlang là một ngôn ngữ lập trình Constraint-Logic?

Vì Erlang dựa trên Prolog, điều này có nghĩa là Erlang là một ngôn ngữ Constraint-Logic? Liệu Erlang có khối xây dựng Prolog của: kiện, quy tắc và Query

erlang prolog constraint-programming 2011-03-22

---

9Nhiệt

2Trả lời

Prolog: Kết hợp các ngữ pháp DCG với các hạn chế khác

Tôi rất ấn tượng với DCG của Prolog và tôi có thể nhanh chóng tạo ra tất cả các cấu trúc có thể phù hợp với một ngữ pháp cụ thể như thế nào. Nhưng tôi muốn kết hợp tìm kiếm này với các ràng buộc khác.

prolog grammar dcg 2011-06-29

---

5Nhiệt

2Trả lời

Làm thế nào để áp dụng định lượng phổ trong Prolog?

Giả sử bạn có một chương trình Prolog chẩn đoán bệnh mà bắt đầu với nhiều mối quan hệ giữa bệnh tật và symptons: causes_of(symptom1, Disease) :- Disease = disease1; Disease = disease2. caus

prolog 2011-07-05

---

16Nhiệt

4Trả lời

Subsets trong Prolog

Tôi đang tìm kiếm một vị ngữ mà làm việc như thế này: ?- subset([1,2,3], X). X = [] ; X = [1] ; X = [2] ; X = [3] ; X = [1, 2] ; X = [1, 2, 3] ; X = [2, 3] ; ... Tôi đã nhìn thấy một số subs

list prolog set subset 2011-02-06

---

5Nhiệt

4Trả lời

Prolog, danh sách xây dựng với mệnh đề có điều kiện

Tôi cần phải làm bài tập về nhà này bằng cách sử dụng prolog (SWI-hương vị) và không thể có được đầu của tôi xung quanh một số điều. Ví dụ: nếu tôi muốn lặp qua danh sách và thêm các phần tử của nó và

if-statement prolog conditional 2011-05-16

---

14Nhiệt

4Trả lời

Prolog SAT Solver

Tôi đang cố gắng xây dựng một giải pháp Prolog SAT đơn giản. Ý tưởng của tôi là người dùng nên nhập công thức boolean để được giải quyết trong CNF (Conjuctive Normal Form) sử dụng danh sách Prolog, ví

prolog boolean-logic clpb 2011-02-09

---

6Nhiệt

1Trả lời

Tại sao "..." xuất hiện trong câu trả lời của tôi về ma trận trong Prolog

tôi đã thực hiện một mã nhỏ để tạo ra một ma trận của tọa độ (giống như một bàn cờ), đó là những điều sau: createMatrix(N,M,R) :- creaMatriu(N,M,A), reversed(R,A). creaMatriu(N,0,[T]) :- creafila(N,0

matrix prolog coordinates prolog-toplevel 2011-02-11

---