うそつき娘問題を制約プログラミングで解く | 小屋畑ソフトウェアサービス ブログページ
ネットで以下の問題を見つけたので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
System Information Science I, 2005 : how to use lambda.jar
以下では SWI-Prolog という Prolog 言語の実行方法を説明します。 ここでは教育用計算機システムのiMac環境で実行することを前提にしています。 Emacsなどのエディタを使ってプログラムを作成します。内容は例えば以下のようにしておき、ファイル名は「test.pl」とでもしておきます。 「Terminal」アプリケーションを起動し、 /home08/masuhara/local/bin/swiprolog と入力します。 ?-と表示されたらconsult('test.pl').と入力します。test.plの内容が読み込まれます。 続けて?-と表示されたらp(s(s(0)),s(s(s(0))),X).のように入力すると、2+3の結果Xを求めて表示します。 結果が表示された所で;をタイプすると、さらに別の答を探します。これ以上答がなくなった場合にはNoと表示されます。
Flix | The Flix Programming Language
The Flix website has moved: https://flix.dev/.
オブジェクト指向の問題点 - ビスケットのあれこれ
オブジェクト指向プログラミングを神格化するような記事が流れてきたので，僕が知っている問題点について書いてみたいと思います．僕がまだ学生だったころは，オブジェクト指向の評価もまだそれほど定まっていなくて，オブジェクト指向の次はどんなパラダイムが出てくるかとか普通に学生レベルで議論していたものですが，ここまで強大になってしまうとそれを打ち負かそうなんて気にはならないのでしょうか．僕にはオブジェクト指向が普遍的な真理という感じは全然しなくて，ここまで使われてる理由は，現実的なテクノロジーで大きなシステムを作らなければならない必要性のほうを優先した結果であると認識しています．オブジェクト指向がその後の25年ほどもずっと安定してその地位を保てるほど素晴らしいものとは思えないのです． 以下で上げる問題点は，個別に解決している研究はあったりしますし，僕も論文を書いたりしましたけど，実際の言語に導入されて
My Picat page
This page is maintained by Hakan Kjellerstrand (hakank@gmail.com) Picat is a general-purpose programming language that incorporates features from logic programming, functional programming, and scripting languages. The letters in the name summarize Picat's features: Pattern-matching: A predicate defines a relation, and can have zero, one, or multiple an- swers. A function is a special kind of a pre
Picat
Version 3.6#8 released (5/27/2024) Picat won a gold medal in XCSP'23 Picat won two silver medals in MiniZinc Challenge 2023 Picat team won the 2021 LP/CP programming contest News group Users' Manual (pdf | html) Tutorial at CP'19 Tutorial at AAAI'17 Editors for Picat: Emacs, VSC, and Geany WebIDE for Picat Picat team won Grand Prize at NYC Media Lab Summit Hakan's Picat Page 99 Problems GCJ in Pic
Prologとか論理プログラミングについて色々 - doitakaの日記
ここ最近、論理プログラミングとか、Prologについて調べてたので現状のまとめ。 発端 VDMとかAlloyとか、形式手法関連を色々調べていた途中でPrologの存在を知る。 論理型言語ということで、いまいちイメージが掴めないところがあった。 最近、本腰入れて調べてみることにした。 Prolog入門系の情報 いくつかサイト見たり、本買ったりした。 Prolog - Wikipedia とりあえずwikipedia。 "Prolog 入門" でググると、チュートリアルサイトがいくつか出たのでそれは見た。 Lisp, Prologネタ: ホットコーナー Lisp, Prologネタその２: ホットコーナー Java版Prologリンク集、Prolog、オントロジーなどのチュートリアル集: ホットコーナー http://iiyu.asablo.jp/blog/2011/02/03/5660275
Natural Language Processing With Prolog in the IBM Watson System – Association for Logic Programming
Abstract On February 14-16, 2011, the IBM Watson question answering system won the JeopardyMan vs. Machine Challenge by defeating two former grand champions, Ken Jennings and Brad Rutter. To compete successfully at Jeopardy!, Watson had to answer complex natural language questions over an extremely broad domain of knowledge. Moreover, it had to compute an accurate confidence in its answers and to
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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Prologによる集合意思決定の体験的学習の可能性[PDF]
サービス終了のお知らせ
Commemorating the Creator of Prolog, Alain Colmerauer
https://dl.acm.org/citation.cfm?id=1057820
https://web.stanford.edu/class/linguist289/p37-colmerauer.pdf
Amazon.co.jp: Prolog処理系を作ろう: 笹川賢一: Digital Ebook Purchas
9.4.4 冗長な推論と無限ループRedundant inference and infinite loops | 過程
GitHub - shekhargulati/99-problems: This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.
Picat 1.0 - Is Logic Programming Making A Comeback?
Natural language processing: an introduction
Watsonは、こんなふうにかんがえる―日本IBM 武田浩一氏に訊く、旧来AIとコグニティブの違い
