タグ

ブックマーク / www.oki-osk.jp (2)

  • Tiny Prolog in Python

    Python で作る Prolog 処理系 2006.6.6 - 2006.7.14 (鈴) 1. Prolog とは 2. クラス定義で構成する Prolog 構文 3. 環境とユニフィケーション 4. ゴールをめざして 4.1 カット実装の訂正 5. コールバックとトレース 次回: Ruby で作る Prolog 処理系 (補講) Ling, Suzu: 先輩,今日は一体... 先輩: この部屋の整理をしていたら, 地層の底から面白そうな言語を発掘したんだ。それで,ちょっとね。 L, S: ちょっと? (というか地層?) 先: Prolog って言うんだけど。 1. Prolog とは フランス語の programmation en logique (英語programming in logic) の略。 1972 年に Marseilles (マルセイユ) で作られたプログラミン

    pekeq
    pekeq 2014/09/11
  • Life with Cygwin

    沖ソフトウェア株式会社は、沖通信システム株式会社および株式会社沖インフォテックと平成22年10月1日をもって合併いたしました。新会社名は、株式会社OKIソフトウェアとなります。3社が行っております事業は新会社にて従来通り継続いたします。

  • 1