unify

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