At least this is what I told the students when I was a TA for a class teaching prolog!