Câu hỏi được gắn thẻ «prolog»

Đã đóng cửa . Câu hỏi này cần được tập trung hơn . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để câu hỏi chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . …

124 prolog  logic-programming  minikanren 

(Theo đề xuất của @repeat ) Hãy xem xét một truy vấn của chương trình thuần túy 1 ?- G_0. Sử dụng nếu có bất kỳ truy vấn ?- G_0, G_0.nào? Chú thích 1 Không có tabling (để an toàn), các ràng buộc là OK. Bài trước về chủ đề.

12 prolog  logical-purity 

Tôi đã chơi xung quanh với các vị từ prolog-coroutiningfreeze/2 và frozen/2: ?- freeze(X,a=a), frozen(X,Goal). ?- freeze(X,a=a), freeze(Y,b=b), X=Y, frozen(X,Goal). sicstus-prolog (phiên bản 4.5.1 cho x86_64) đã đưa ra những câu trả lời sau: | ? - đóng băng (X, a = a), đóng băng (X, Mục tiêu). Mục tiêu …

11 prolog  sicstus-prolog  prolog-coroutining