I was continually confused with the Prolog comparison predicates, so I started a little page of notes on this (I’m less confused now). This is work in progress and will be updated as I dig through documentation and examples:
Link to page aliased to https://bit.ly/2Jk4e2o_prolog
As the same questions and confusions continually pop up on Stack Overflow, this could be handy.
With best regards,