当時は鉄道情報システムのの設計にZ言語が使われた。
そしてZ言語からほとんどそのままPrologに落とした。
今でも形式手法の成果として挙げられる。