Prolog is case sensitive. That means that it distinguishes between identifiers on the basis of the case of the letters in them, as well as their spelling. So, the words This and this are different. (Prolog treats the former as a variable and the latter as an atom.)