>>711 の2..は簡単にできそうなことなのですが、ちょっと考えどころが
あって、やっていません。このことについては、また後で。

?- メールアドレス(山崎,Y)年齢(山崎,X),メールアドレス(山崎,Y).
から自動で、
:- assertz((山崎さん(年齢(山崎,X),メールアドレス(山崎,Y))).
が導出できるなら、これは「質問者であると同時に、プログラマである」と
いえる。そうではなくて、質問者が質問と同時にこれは'山崎さん'で登録して
ください、などと言わなくてはならないとすると、>>705と同じような意味で
その時点でアウトです。