タグ

prologとlojbanに関するmasterqのブックマーク (1)

  • ロジバンでPrologプログラミングしてみた! - Qiita

    ロジバンの紹介 今回発表する言語はロジバンという言語です。 聞いたことがないかもしれないので、まずはその紹介からです。 ロジバンというのは、元々、基的に人間が話すために作られた人工の言語です。 最初はサピア=ウォーフの仮説という言語学上の問題を検証するために作られた言語ですが、元々言語学者が作った下敷きからスタートしているので、色々と面白い性質があります。 例えば下の様な感じです。 音中心で設計されていて、同音異義語が原理上存在しない 文法が厳格に決められていて、構造に曖昧さが表れない 一階述語論理をベースに組み立てられている 文化非依存 この様な性質を持っていることから、ロジバンで話しかけたり、書かれたりした文は、命題としてプログラムが実行可能という性質を持っています。 特に日語や英語では根に持っている構造的な曖昧さが発生しないというのが大きくて、日語では解析不可能な長文でもプロ

    ロジバンでPrologプログラミングしてみた! - Qiita
  • 1