>>506
そういう研究はあり、確かにきれいに書ける。
ただし、prologでなく、より汎用的なlogical framework（twelfとか）を使うことが多い。