unification

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

12Nhiệt

1Trả lời

Thuật toán Hindley-Milner: sử dụng các loại để đảm bảo ràng buộc được áp dụng

Tôi đang triển khai thuật toán suy luận kiểu Hindley-Milner, theo các hướng dẫn của Mark Jones và Oleg Kiselyov. Cả hai có một "áp dụng cam kết ràng buộc" hoạt động với một loại xấp xỉ của mẫu applyBi

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

11Nhiệt

1Trả lời

Prolog là vs = với danh sách

Tại sao điều này thất bại L is [1,2,3,4], và điều này hoạt động: L = [1,2,3]? Nhưng L is 1 và L = 1 đều hoạt động giống nhau.

10Nhiệt

2Trả lời

Thuật toán "unifier chung nhất" tối ưu là gì?

Câu hỏi Thuật toán MGU hiệu quả nhất là gì? Độ phức tạp của nó là gì? Có đủ đơn giản để mô tả như là một câu trả lời tràn ngăn xếp không? Tôi đã cố gắng tìm câu trả lời trên Google nhưng tiếp tục tìm

7Nhiệt

2Trả lời

GHC từ chối mã mon đơn ST vì không thể thống nhất các biến kiểu?

tôi đã viết các chức năng sau: (.>=.) :: Num a => STRef s a -> a -> Bool r .>=. x = runST $ do v <- readSTRef r return $ v >= x nhưng khi tôi đã cố gắng để biên dịch tôi đã nhận lỗi sau: Could no

5Nhiệt

2Trả lời

Xóa tất cả các thành viên của một danh sách mà không thống nhất trong Prolog

thể trùng lặp: Prolog delete: doesn't delete all elements that unify with Element Trong Prolog nếu bạn viết này: delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L). kết quả sẽ là: L = [ (1, 2), (3, 4)]. Đi

16Nhiệt

4Trả lời

Làm cách nào để triển khai thuật toán hợp nhất bằng ngôn ngữ như Java hoặc C#?

Tôi đang làm việc thông qua sách giáo khoa AI của mình mà tôi nhận được và tôi đã gặp vấn đề bài tập về nhà cuối cùng cho phần của mình: "Thực hiện Thuật toán thống nhất được nêu ở trang 69 bằng ngôn

45Nhiệt

4Trả lời

Thống nhất bậc cao hơn

Tôi đang làm việc trên một định lý lý thuyết bậc cao hơn, trong đó sự hợp nhất có vẻ là bài toán khó nhất. Nếu thuật toán của Huet vẫn được coi là nhà nước-of-the-nghệ thuật, không ai có bất kỳ liên k