Prolog atom