Why is [] = _. true in Prolog?

I am learning Prolog, and do not understand why ?- [] = _. returns true in SWI-Prolog. [] means an empty list, and _ means it is not empty, right?
Could someone explain the above logic?