タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

prologに関するkarronoliのブックマーク (2)

  • いろんな言語で宿題からProlog問題・解答集

    karronoli
    karronoli 2012/01/01
    「Haskellが数学だとすれば、Prologは国語だ」かっこいい.普通に想像しやすい文字列の扱いとかあっていい感じ
  • Prologとつき合う - Yet Another Ranha

    C81 3日目東ペ06a - COMFRK VOL. 3 ( http://comfrk.info/ )の宣伝のつもりで書き始めてます。 えーと記事のタイトルは「年末年始Prolog入門モドキ by ranha」ということになっていますが、嘘ですんで…。 ネムインダ 最近、SWI-Prologでは次のようなプログラム片がtrueを返すようになりました。 p :- p. ?- p. true ; true ; true ; ...ウウーン良いですね。いや…ダメだよコレは。 ということを、ぼくの担当分で紹介しています。といっても入門記事なので全く新規性のある話をしているわけではないのですが。 ここまでが記事の紹介です。 C81 3日目東ペ06aに来てくださいね!! この後は記事の目論みといいますかなんというか…。 所謂Prologのプログラムのセマンティクス(意味)というのをどのようにして与え

    Prologとつき合う - Yet Another Ranha
    karronoli
    karronoli 2011/12/31
    COMFRK読んでてCo-Logicってなんだこりゃ!という感じでこっちも見たけど,うーんうーん.無限を扱いたい→ストリーム→(お呪い)→Co-Logic
  • 1