prolog

7Nhiệt

2Trả lời

Tôi đang cố gắng thêm quy tắc động vào cơ sở kiến thức bằng cách sử dụng SWI-prolog trong đó phần thân của quy tắc chưa được biết trước. Nguyên tắc mong muốn trông giống như sau: rule(a) :- fact(1),

5Nhiệt

3Trả lời

Thuật toán nào cho chương trình lập lịch biểu

Tôi gặp vấn đề về lập kế hoạch nhiệm vụ. Mỗi tác vụ có thời gian bắt đầu đề xuất T (cần bắt đầu tại [T-10, T + 10]), mất L phút để hoàn thành và sử dụng một số tài nguyên [R1, R2, ...]. Khi một tài ng

5Nhiệt

2Trả lời

SWI-Prolog và các ràng buộc, thư viện CLP (FD)

Tôi đang phát xung quanh với các ràng buộc trong (swi) prolog sử dụng thư viện clpfd. Tôi đang cố gắng xác định khi nào một tập hợp các ràng buộc đóng gói hoặc thuê gói khác, ví dụ: X < 4 đóng gói X <

8Nhiệt

3Trả lời

mẫu phù hợp với các biến tương đương trong Haskell, giống như trong Prolog

Trong prolog, chúng ta có thể làm điều gì đó như sau: myFunction a (a:xs) = ... này là, khi tranh luận ngày 1 myFunction cũng giống như mục đầu tiên của danh sách trong đối số thứ 2, hàm này sẽ đánh

20Nhiệt

2Trả lời

Làm cách nào để bao gồm tệp .pl trong Prolog?

Tôi muốn bao gồm mã từ một tệp nguồn khác. Có ai biết làm thế nào để làm điều đó?

5Nhiệt

2Trả lời

Tại sao SWI-Prolog hợp nhất một chuỗi trích dẫn và không được trích dẫn (không có dấu cách) cho cùng một quy tắc?

Giả sử tôi có các quy tắc sau: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(Y). Và sau đó tôi chạy nó n

6Nhiệt

3Trả lời

không tầm thường Prolog tìm và thay thế

Vì vậy, chúng ta có thể dễ dàng tìm và thay thế một nguyên tử với một nguyên tử trong Prolog bằng cách làm một cái gì đó như: replace([],A,B,[]). replace([H|T],A,B,[B|Result]) :- H=A, repla

5Nhiệt

2Trả lời

Chức năng số học Prolog tùy chỉnh

Tôi đang tìm một cái gì đó như được xây dựng trong toán tử số học có giá trị trả về trong Prolog (đặc biệt trong SWI-Prolog). Ví dụ. nếu bạn chạy A is (1+2) + (3+2)., nó sẽ trả về A = 8.. Tôi làm cách

6Nhiệt

2Trả lời

Lấy danh sách các giải pháp trong Prolog

Tôi đang học prolog và tôi đang đọc một cuốn sách có tên là Lập trình Prolog cho Trí tuệ nhân tạo. Khi thực hành tôi muốn tìm hiểu cách mở rộng một trong những ví dụ trong cuốn sách này. Ai đó có thể

9Nhiệt

4Trả lời

biến đổi "nhị phân thành số" vị ngữ

Cách tốt nhất để chuyển đổi bit nhị phân (có thể là danh sách 0/1, ví dụ) thành số theo cách ngược lại. Tôi đã viết một vị ngữ bản địa trong swi, nhưng có giải pháp tốt hơn? Trân trọng