prolog

5Nhiệt

1Trả lời

Vấn đề PROLOG đơn giản: Làm thế nào để bạn kiểm tra nhiều truy vấn đối với cơ sở dữ liệu Prolog của bạn?

Tôi có một tệp cơ sở dữ liệu Prolog (test_inserts.p) mà tôi đã sử dụng để chèn tất cả dữ liệu của mình. Tôi cũng có tệp truy vấn Prolog (test_queries.pl) có tất cả truy vấn Prolog mà tôi đã viết để nh

6Nhiệt

4Trả lời

Xác định danh sách trong các tập lệnh prolog

Tôi mới làm quen với lập trình prolog và đã được nói trong một hướng dẫn để xác định danh sách các cấu trúc (trong một tập lệnh) để tôi có thể truy vấn nó dưới dạng cơ sở dữ liệu. Tuy nhiên tôi thấy n

8Nhiệt

1Trả lời

slash (/) làm gì trong prolog?

tôi có mã này: set_value(X,Value,[X/_|T],[X/Value|T]). set_value(X,Value,[Y/V|T],[Y/V|NewT):- X\=Y,set_value(X,Value,T,NewT). set_value(X,Value,[],[X/Value]). Nhưng tôi không thể tìm ra những gì/l

6Nhiệt

4Trả lời

nếu else if khoản khác trong prolog tương tự như C/C++

Trong c ngôn ngữ tôi có cái gì đó như: if(cond1) {} else if(cond2) {} else {} thế nào có thể như vậy trong Prolog?

6Nhiệt

2Trả lời

Làm thế nào để phủ nhận trong Prolog

Tôi mới đến PROLOG và sáng ở phần đầu của các bài tập trên this page. Căn cứ vào quy định cha mẹ (X, Y) và nam (X), tôi đang cố gắng để xác định một người mẹ cai trị (X, Y) là mother(X, Y) :- not

7Nhiệt

1Trả lời

minimax cho tic-tac-toe

Tôi đang cố gắng giải quyết tic-tac-toe bằng thuật toán minimax đơn giản. Đơn giản, nhưng phải bao gồm rất nhiều ngôn ngữ. Những gì tôi có cho đến thời điểm này: Bảng được biểu diễn dưới dạng một mảng

5Nhiệt

2Trả lời

Thay thế để diễn tả "Giao hoán" trong Prolog?

là người mới bắt đầu với Prolog, tôi thấy biểu hiện giao hoán trong Prolog khá trực quan. ví dụ nếu tôi muốn bày tỏ X và Y là trong một gia đình, như: family(X,Y) :- married(X,Y); relative

5Nhiệt

2Trả lời

in đẹp một thuật ngữ mở rộng

Tôi làm cách nào để in một danh sách các thuật ngữ trong SWI-Prolog. Tôi đã thử: portray_clause([term1, term2]). nhưng điều đó chỉ viết ra trong một dòng suối dài và một chuỗi thậm chí đi ra như một d

6Nhiệt

2Trả lời

SWI-Prolog - Không phù hợp với Khẳng định

tôi xác định một nhà điều hành như sau: :- op(500, xfx, =>). Khi tôi cố gắng một cái gì đó như: assert(a => b). Prolog đặt ra một lỗi mà nói: 'Không có quyền sửa đổi static_procedure (=>)/2 '. Bất

12Nhiệt

3Trả lời

Trang web tốt để học prolog là gì?

Tôi cần phải làm một dự án cho lớp học trong Prolog nhưng họ đã cho chúng tôi không có hướng dẫn ở tất cả trong ngôn ngữ nó tự. Tôi đã đọc http://kti.mff.cuni.cz/~bartak/prolog/contents.html nhưng tôi