为什么 SWI-Prolog 将带引号和不带引号的字符串（不含空格）统一为同一规则？
假设我有以下规则： unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(…
- 共 1 页
- 1
假设我有以下规则： unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(…
接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。