タグ

Asahiと論理プログラミングに関するpongepongeのブックマーク (1)

  • ドコモは、Prologで動いている\(^O^)/: ホットコーナー

    ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- 6月に、九大(九州大学)に講義に行ったとき、中洲産業大学で厳粛に執り行われた 馬刺し教授会で、ここでもたびたび言及している 「最近、関数型言語が現場でもやっと使われ始め、でも、Prologのような論理 型言語を知らない学生や技術者がいて、おれらの学生時代(今から30年から35 年前)、Lispのような関数

    pongeponge
    pongeponge 2014/07/29
    気になってPrologをちょっと見てきたけど、複数の解をペロッと出すのは面白いと思った
  • 1