>>726
そういう意味では Guarded Horn Clauses のような言語が
一番美しいのではないか。