どうすれば Z を実行することができますか?!

Z は (一般に実行可能でない) 仕様記述言語です。したがって Z にはプログラミング言語のようにコンパイラやリンカなどのようなものはありません。ラピッドプロトタイピングのために Z のサブセットを論理型言語、関数型言語によって動かしているものもあります。しかし、これらは予備的なものであって、本当は Z の主眼ではありません。Z の主眼は仕様化されたシステムの理解性をあげることと形式的な推論や開発を可能にすることにあるのです。しかしながら、 Prolog は Z のプロトタイプのために有効な言語であると考えられ、先程列挙した文献のなかでもいくつか見ることができます。

Next: 他の `Z' の人々は何処にいるのでしょうか?