Прежде всего, спасибо за вашу помощь.Я сейчас изучаю Пролог, и я нашел проблему.
Возможно, это глупая проблема, но я до сих пор не понимаю.
В Прологе,
go(1) = go(1)
вернет true.
go(1) = go(2)
вернет false.
Но когда я пытаюсь
not(go(1) = go(2))
, он также возвращает false, как следует
[trace] ?- not(go(1) = go(2)).
Call: (8) not(go(1)=go(2)) ? creep
Fail: (8) not(go(1)=go(2)) ? creep
false.
Может ли кто-нибудь помочь мне объяснить это, пожалуйста?Большое спасибо!