swi prolog mental state 1.2.0