ネットで以下の問題を見つけたのでSWI-PrologのCLPFDライブラリで解いてみた 問題:水泳大会 水泳大会で、この4人が1位から4位を獲得しました(同順位はありません)。 スタート前の予想は下のとおりで、3人が当たり、1人が外れました。 誰が何位だったのでしょう? ことり「私は1位」 なる 「私はすずより上位」 すず 「私は1位か2位」 あゆ 「私は1位か2位」 プログラム: :-use_module(library(clpfd)). solve_girl_order:- GirlOrderLst = [KotoriOrder,NaruOrder,SuzuOrder,AyuOrder], GirlOrderLst ins 1..4, all_different(GirlOrderLst), HatugenFlgLst = [KotoriHatugenFlg,NaruHatugenFl
以下では 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と表示されます。
The Flix website has moved: https://flix.dev/.
オブジェクト指向プログラミングを神格化するような記事が流れてきたので,僕が知っている問題点について書いてみたいと思います.僕がまだ学生だったころは,オブジェクト指向の評価もまだそれほど定まっていなくて,オブジェクト指向の次はどんなパラダイムが出てくるかとか普通に学生レベルで議論していたものですが,ここまで強大になってしまうとそれを打ち負かそうなんて気にはならないのでしょうか.僕にはオブジェクト指向が普遍的な真理という感じは全然しなくて,ここまで使われてる理由は,現実的なテクノロジーで大きなシステムを作らなければならない必要性のほうを優先した結果であると認識しています.オブジェクト指向がその後の25年ほどもずっと安定してその地位を保てるほど素晴らしいものとは思えないのです. 以下で上げる問題点は,個別に解決している研究はあったりしますし,僕も論文を書いたりしましたけど,実際の言語に導入されて
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
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について調べてたので現状のまとめ。 発端 VDMとかAlloyとか、形式手法関連を色々調べていた途中でPrologの存在を知る。 論理型言語ということで、いまいちイメージが掴めないところがあった。 最近、本腰入れて調べてみることにした。 Prolog入門系の情報 いくつかサイト見たり、本買ったりした。 Prolog - Wikipedia とりあえずwikipedia。 "Prolog 入門" でググると、チュートリアルサイトがいくつか出たのでそれは見た。 Lisp, Prologネタ: ホットコーナー Lisp, Prologネタその2: ホットコーナー Java版Prologリンク集、Prolog、オントロジーなどのチュートリアル集: ホットコーナー http://iiyu.asablo.jp/blog/2011/02/03/5660275
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
序章: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ページを開く