うそつき娘問題を制約プログラミングで解く | 小屋畑ソフトウェアサービス ブログページ
ネットで以下の問題を見つけたのでSWI-PrologのCLPFDライブラリで解いてみた 問題：水泳大会 水泳大会で、この４人が１位から４位を獲得しました（同順位はありません）。 スタート前の予想は下のとおりで、３人が当たり、１人が外れました。 誰が何位だったのでしょう？ ことり「私は１位」 なる 「私はすずより上位」 すず 「私は１位か２位」 あゆ 「私は１位か２位」 プログラム: :-use_module(library(clpfd)). solve_girl_order:- GirlOrderLst = [KotoriOrder,NaruOrder,SuzuOrder,AyuOrder], GirlOrderLst ins 1..4, all_different(GirlOrderLst), HatugenFlgLst = [KotoriHatugenFlg,NaruHatugenFl
IBM Watson と SoftBank Pepperくん の頭脳に採用された Prolog言語 入門（２）〜 外部ファイル に 記述した「事実」＆「規則」の セット を SWI_Prolog インタプリタ に ロードして、対話的 に 質問 を 問いかけてみた - Qiita
序章：1972年生まれ の Prolog 言語 は、IBM Watson & SoftBank Pepperくん で、再び脚光 を 浴びつつ ある？ Softbank (& Aldebaran Robotics) Pepperくん の会話システム にも 利用されている ShunIchikawaさん Qiita記事（2015/12/22）「Prolog実践入門 - AIに特化した老舗言語」 Prologなんてオワコンじゃない？ Go言語やRustなどから比べると40年近く前に登場した言語であり、AIに特化した言語ということもあり、知名度が低く、利用者も少ないですが、教育機関(大学など)で主として論理学の教材として利用され続けているのです！ 結局オワコンじゃん！？って思った方・・・そんなことないんです。 最近の有名なProlog利用事例は、何と言ってもあのソフトバンクのPepperの開発にPr
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
