Great catch. This is a good example of how “types” as in other languages don’t really fit neatly in Prolog (I am referring to this discussion). More strict typing should catch such typos/thinkos, one would hope, but in fact both can be correct in some scenario. Same goes for syntactic sugar as discussed higher in the same thread.