Prolog - lambda expresion

Me pueden poner un ejemplo de una lambda expresion que no tenga forma normal??
gracias

Cuando hablas que no tenga forma normal, es que no importa el esquema de reduccion que apliques? Es conocido el caso de las expresiones que siguen el esquema aplicativo como esta:
(//x.x x)(//x. x x) llamada la autoreplicacion