いままでのは論理ベースの手続き言語。
では非論理ベースの非手続き言語はあるだろうか?