【論理】Prolog【初心者】

**デフォルトの名無しさん** · 2010/11/06(土) 13:00:56

Prolog初心者のスレ

これは良い言語だ…

**デフォルトの名無しさん** · 2012/11/10(土) 11:41:57.60

>>607
大体25位前後の人気のようです。アセンブラやシェルをプログラム言語と
見做すかどうかにもよりますが。米国では底固い実務的な人気があるようです。

**デフォルトの名無しさん** · 2012/11/10(土) 18:20:35.78

モノ珍しいので一度は触ってみるという意味での人気であって、業務で使っているとは思えない

**デフォルトの名無しさん** · 2012/11/11(日) 05:08:35.66

>>609
日本の場合、大学に100以上の講座があって、それを受講したら
お終いなので物珍しいからに近い。あちらでは、日本でSQL枠と
されている就職口が論理という枠になっていて権威もある。論理
枠の中でPrologは一定の地位を占めていて、想像以上に実務でも
使われている。

**デフォルトの名無しさん** · 2012/11/11(日) 05:34:52.19

只々類似パターンの再帰の繰り返しのPrologがStackoverflowで質問数が
すくないことはよくわかる。ところが何故、まったくライブラリ指向でない
言語の代表のPrologがGitHubに結構upされているのだろうか。

**デフォルトの名無しさん** · 2012/11/11(日) 05:58:11.84

GitHubの誤判定ではないだろうか
例えばhttps://github.com/languages/PrologのMost Starred Overallの
上位5つのリポジトリを見てみると、

https://github.com/onyxfish/csvkit
https://github.com/vangelisv/thea
https://github.com/reprappro/Mendel
https://github.com/Attempto/APE
https://github.com/leaflabs/oak

このうち実際にPrologを使っているのはtheaとAPEの2つに見える

**デフォルトの名無しさん** · 2012/11/11(日) 13:01:59.07

ﾜﾛﾀ
拡張子plをPrologプログラムと勘違いしてるらしい。
https://github.com/onyxfish/csvkit/blob/master/examples/realdata/census_2010/ilgeo2010_excerpt.pl
拡張子txtの言語作ればGitHub一位まちがいなし！
ちなみに607です…

**デフォルトの名無しさん** · 2012/11/11(日) 15:36:43.35

拡張子plはPerlじゃないし、GHCはHaskellのコンパイラじゃないのは世界の常識

**デフォルトの名無しさん** · 2012/11/11(日) 16:12:53.88

前者はともかく後者はもう日本国内ですら通じないだろ……

**デフォルトの名無しさん** · 2012/11/11(日) 17:19:10.25

ここ:-を,どこだと|思って,るんだ！.

**デフォルトの名無しさん** · 2012/11/11(日) 18:07:12.48

ソースに使われてる言語の判定にはこれ使ってるっぽいね
https://github.com/github/linguist

Perl製と判定されたソフトの8割が実はProlog製だった可能性が出てきたな……

**デフォルトの名無しさん** · 2012/11/14(水) 22:28:53.31

あるあ・・・ねーよ

**デフォルトの名無しさん** · 2012/11/18(日) 03:03:49.27

連番のエロ画像をダウンロードするスクリプトください

**デフォルトの名無しさん** · 2012/11/18(日) 19:47:08.62

>>619
http://nojiriko.asia/prolog/ronri_prolog_619.html

**デフォルトの名無しさん** · 2012/11/23(金) 19:45:54.79

>>619
エロかどうかの画像解析も必要？

**デフォルトの名無しさん** · 2012/11/24(土) 01:11:45.59

必須

**デフォルトの名無しさん** · 2013/01/30(水) 14:34:59.52

Prologの実装がいろいろあるけど
_ が任意にマッチするものと
_.1 _.2 みたいにマッチする部分集合をわけるものがあるみたいですね
それぞれの方式に名前がついてたりするのでしょうか

**デフォルトの名無しさん** · 2013/02/01(金) 08:26:29.05

>>623
私は後のケースを知りません。確かめてみたいので
処理系をご存知でしたら、教えてください。

**デフォルトの名無しさん** · 2013/02/03(日) 16:44:21.38

miniKanren
cKanren
という処理系です

**デフォルトの名無しさん** · 2013/02/03(日) 19:55:52.08

_1 は知ってるけど _.1 は知らない

**デフォルトの名無しさん** · 2013/02/16(土) 23:41:31.81

日常の諸問題の解決にPrologを使っている人はいる？

**デフォルトの名無しさん** · 2013/02/16(土) 23:57:59.44

>>627
RDB使うかわりにレコードをprologのhead形式でファイルに追加して、prologの問い合わせで検索してる
SQLより使い勝手がいい

**デフォルトの名無しさん** · 2013/02/17(日) 00:01:25.81

過疎スレでこんなに早くレスをもらえるとは思いませんでした。
head形式とはどういうものですか？

**デフォルトの名無しさん** · 2013/02/17(日) 00:22:14.39

meisi(山田, xxx-xxxx, 東京都○○○○, 080-xxxx, 080-xxxx, ○○社, ○○課, 201301xx, 飲み会).
memo(201302xx, 隕石落ちた).
todo(201302xx, [郵便とりに行く, 印鑑確認する, 製本する, 連絡する, 掃除する, メールする/12]).

みたいなのをジャンル分けずにどんどん同じファイルにアペンド
今40000タプルくらいある

**デフォルトの名無しさん** · 2013/02/17(日) 00:32:15.91

(・∀・）ｲｲ！
実生活でPrologが役立っている例を始めて見ました

**デフォルトの名無しさん** · NG

私は社内IRCに
?- ... と打ち込むと謹製Prologが答えてくれるボット投入してます
誰も使ってないけど

**デフォルトの名無しさん** · 2013/02/17(日) 13:26:35.69

昔Java版のprologが出たときに大学の演習で作ったルールベースシステムをアプレットに移植して人工知能の会話システムを作ったけど、大して身のあるシステムにはならなかった

**デフォルトの名無しさん** · 2013/02/17(日) 15:09:00.03

Prologは初等教育に組み込むべきですね。プログラム言語としてではなく、
情報・知識の記述形式として。

**デフォルトの名無しさん** · 2013/02/22(金) 17:22:47.00

初心者ですので初歩的な質問をさせていただきます。よろしくお願いします。
prologで単純な迷路を説くのは簡単ですが、縦横につながった升目（または碁石など）の数を数えるプログラムに難渋しています。
他の言語に習って、5個つながっているかどうかを、

heisa1(5,_,_,_,_,_,_,_):-!.
heisa1(N,W,H,X,Y,Field,L0,L):-
getv(W,H,X,Y,Field,V)
,(var(V)->((not(member((X,Y),L))->(adde((X,Y),L,L1),N1 is N+1);(N1=N,L1=L))
,(X<W->(X1 is X+1,heisa1(N1,W,H,X1,Y,Field,L0,L1)))
,(Y<H->(Y1 is Y+1,heisa1(N1,W,H,X,Y1,Field,L0,L1)))
,(X>1->(X1 is X-1,heisa1(N1,W,H,X1,Y,Field,L0,L1)))
,(Y>1->(Y1 is Y-1,heisa1(N1,W,H,X,Y1,Field,L0,L1))))).

のような書き方で、細部をいろいろ工夫しても、無駄なバックトラックが起こってうまくいきません。
どのように書けばよいのでしょうか。ご教示いただければ幸です。

**デフォルトの名無しさん** · 2013/02/22(金) 17:25:15.99

>>635
ちなみに、私は切羽詰って、

heisa(0,_,_,_,_,EL,EL):-!.
heisa(_,_,_,_,[],EL,EL):-fail,!.
heisa(N,W,H,Field,[Pos|Re],EL,EL2):-
search(N,W,H,Field,[(1,0),(0,1),(-1,0),(0,-1)]
,Pos,Re,AL,EL),adde(Pos,EL,EL1)
,N1 is N-1,heisa(N1,W,H,Field,AL,EL1,EL2).
search(_,_,_,_,[],_,AL,AL,_):-!.
search(N,W,H,Field,[XY|Re],Pos,AL,AL2,EL):-
(X,Y)=Pos,(X1,Y1)=XY,X2 is X+X1,Y2 is Y+Y1
,getv(W,H,X2,Y2,Field,V)
,((nonvar(V);member((X2,Y2),AL);member((X2,Y2),EL))->AL1=AL;adde((X2,Y2),AL,AL1))
,search(N,W,H,Field,Re,Pos,AL1,AL2,EL).
getv(W,H,X,Y,Field,V):-(X>0,Y>0,X=<W,Y=<H)->(Co is (X+(Y-1)*W),arg(Co,Field,V));V=k.

のような形で実現しましたが、汎用的でないようですし、境界条件があとにきているのが気にいりません。

**デフォルトの名無しさん** · 2013/02/22(金) 18:46:22.89

% 全然仕上がってないけど、凡そ以下のようなコードとなるはず。

連続している(_色,X1,Y1,X2,Y2) :- 隣接した石がある(_色,X1,Y1,X2,Y2).
連続している(_色,X1,Y1,X2,Y2) :-
　　　　隣接した石がある(_色,X1,Y1,X3,Y3),
　　　　連続している(_色,X3,Y3,X2,Y2).

隣接した石がある(_色,X1,Y1,X2,Y2) :-
　　　　隣接(X1,Y1,X2,Y2),
　　　　石(_色,X2,Y2).

隣接(X,Y1,X,Y2) :- 上に隣接(Y1,Y2).
隣接(X,Y1,X,Y2) :- 下に隣接(Y1,Y2).
隣接(X1,Y,X2,Y) :- 右に隣接(X1,X2).
隣接(X1,Y,X2,Y) :- 左に隣接(X1,X2).

上に隣接(Y1,Y2) :- length(L1,Y1),length([_|L1],Y2).

下に隣接(Y1,Y2) :-length(L1,Y1),[_|L2]=L1,\+(L2 = []),length(L2,Y2).

右に隣接(X1,X2) :- length(L1,X1),length([_|L1],X2).

左に隣接(X1,X2) :- length(L1,X1),[_|L2]=L1,\+(L2 = []),length(L2,X2).

**デフォルトの名無しさん** · 2013/02/22(金) 18:57:40.84

升目の数を数える問題ですか。問題をよく読んでいなかった。それだと
バックトラックするとダメなので、再帰で書き直す必要がありますね。
ずっと難しくなりますね。
それから、算数が嫌いなのでY2 is Y1 + 1,を複雑なリスト処理で書きましたが、
単純な算術でもちろん大丈夫です。

**デフォルトの名無しさん** · 2013/02/22(金) 19:16:47.42

>>638
早速ありがとうございます。
バックトラックできないところと、カンマがANDを意味するため、
成功しないと後ろにいけないところなどがネックになっています。

**デフォルトの名無しさん** · 2013/02/22(金) 20:06:38.13

>>634
今、ラッセルやウィトゲンシュタインみたいな分析哲学に凝っているんだけど、
知識の記述に述語論理を使うという前提を共有しているのに、
人工言語派vs.日常言語派みたいな分裂が続くあたり、
何ともいえない不思議さを感じる。

**デフォルトの名無しさん** · 2013/02/22(金) 20:35:52.78

東アジアの農民は、10000年もゆったりした言語で特に深刻に悩むでもなく、
自然と共存したり、痛い目に遭わされながらつぶやいてきた。その延長の言語で
あってよいから、もう少しだけ自分が生きた証しをくっきりとできればいい。
言語に内在するほんの少しの論理性の助けを借りて。だから論理プログラミング。
その程度の論理プログラミング。

**デフォルトの名無しさん** · 2013/02/23(土) 16:24:36.29

論理性の無い文章だなぁ

**デフォルトの名無しさん** · 2013/03/08(金) 23:47:28.33

Prologでシークエント計算できますか？

**デフォルトの名無しさん** · 2013/03/09(土) 14:22:50.10

できるけど、50行くらいプログラミングが必要

**デフォルトの名無しさん** · 2013/03/19(火) 05:22:51.00

wa(you, shock).

**デフォルトの名無しさん** · 2013/03/20(水) 14:52:27.58

prologのバックトラックを使って
深さ優先探索のミニマックス戦略のプログラムを作れますか。
やむをえなければassert,retractを使ってもかまいません。
幅優先探索ならできるのですが。

**デフォルトの名無しさん** · 2013/03/20(水) 17:44:36.54

>>646
こんな定義になると思う。未定義の部分が多いけれどそのうちに書く。

n手先を評価する(_n,_局面1,_着手ならび,_評価点,_局面) :-
　　　　length(Ln,_n),
　　　　手を読む(Ln,自分,_局面,[],[],_着手ならび,_評価点,_局面).

手を読む([],_,_局面,_着手ならび,_評価ならび,_着手ならび,_評価点,_局面) :-
　　　　sum(_評価ならび,_評価点),!.
手を読む([_|Ln],自分,_局面1,_着手ならび1,_評価ならび1,_着手ならび,_評価点,_局面) :-
　　　　findmax([_評価,_着手,_局面2],(
　　　　　　　　　　着手(_局面1,_局面2,_着手,評価)),
　　　　　　　　[_評価,_着手,_局面2]),
　　　　手を読む(Ln,相手,_局面2,[_着手|_着手ならび1],[_評価|_評価ならび1],_着手ならび,_評価点,_局面).
手を読む([_|Ln],相手,_局面1,_着手ならび1,_評価ならび1,_着手ならび,_評価点,_局面) :-
　　　　findmin([_評価,_着手,_局面2],(
　　　　　　　　　　着手(_局面1,_局面2,_着手,評価)),
　　　　　　　　[_評価,_着手,_局面2]),
　　　　手を読む(Ln,自分,_局面2,[_着手|_着手ならび1],[_評価|_評価ならび1],_着手ならび,_評価点,_局面).

着手(_局面1,_局面2,_着手,_評価) :-
　　　　着手の選択(_局面1,_局面2,_着手),
　　　　局面の評価(_局面2,_評価).

**647** · 2013/03/20(水) 18:04:57.94

そうか。
これだと、最善手をn手続けてみただけか。
一手目を非決定性に着手してn手先まで最善手で読ませて、すべての着手を
評価して、評価点がもっとも高い着手を選ぶようにしないといけないか。

**デフォルトの名無しさん** · 2013/03/20(水) 18:25:18.12

>>647,648
深さ優先ですから、とりあえずある道筋で、最終局面まで行き、
そこで評価点を決め、それをひとつ下のレベルに下ろしておいて、
また別の最終局面に行って評価点を求め、其れを先ほどの値と比較し、
最終局面がなくなったら更に一つ下のレベルと比較．．．．．．
のようなことを繰り返し、次第にレベルを下げていくことになるはずですが、
バックトラックをうまく制御できません。

**647** · 2013/03/20(水) 18:45:14.17

>>649
深さ優先といっても株は全部評価しないとどれが最高評価点かが
分かりません。それで最高点-最低点-最高点...と降りていって、
葉までたどり着いたら(つまりn手先)一つ候補が決まる。次善候補を
葉のレベルの次の評価点の候補着手とするという意味ですか？

**デフォルトの名無しさん** · 2013/03/20(水) 19:12:35.16

>>650
理屈からいうと、N手目の局面で評価するとすると、
あるN-1手目から派生するN手目の評価点を全て比較して、
其れをN-1手目の評価点とし、同様にあるN-2手目から派生する
全てのN-1手目について評価点を決めて其れを比較して
N-2手目の評価点として．．．．．．．．というように、
だんだん一手目まで戻っていきます。
（もちろんmini とmax交互に)
これを、同じレベルの評価をfindall等を使っていっぺんに行うと
幅優先になり、行ったりきたりして評価すると深さ優先になります。
1->N->N-1->N->N-1->N->N-1->N-2->N-1->N->N-1->N->N-1->N-2........
というような感じだと思います。.

**デフォルトの名無しさん** · 2013/03/20(水) 21:31:55.30

着手の選択/4と局面評価/2が未定義ですが、

http://nojiriko.asia/prolog/mini_max_senryaku.html

のようなコードでしょうか。

**デフォルトの名無しさん** · 2013/03/20(水) 23:01:45.80

>>652
初心者ですので、他人のコードを読むのは難しいのですが、
これは基本的に幅優先のコードではないでしょうか。

**デフォルトの名無しさん** · 2013/03/21(木) 00:23:36.01

>>653
何か間違っていますね。 ! を削りましょう。そうすると、

着手候補の取り出し(_枝切り,_評価_着手_局面ならび_2,_評価,_着手,_局面2) :-
　　　　length(L0,_枝切り),
　　　　append(L0,_,_評価_着手_局面ならび_2),
　　　　member([_評価,_着手,_局面2],L0).

の最後memberが働いて、全解を取り出せると思います。

3手先読みの最善手は -> 次の可能な全ての手を評価して整列 ->
探索範囲を狭めるため枝切り -> 最も評価の高い手を選択 ->
相手の立場から最も評価高い手を選択 ->
その局面で全ての可能な着手を評価し -> 整列して枝切り　->
これで第一解が得られる
バックトラックすると、
3手先読みの整列枝切り後も member/2 の次の候補が取り出されて第二解。

findmax で次々呼び出されて、最高評価点を探す。

**デフォルトの名無しさん** · 2013/03/21(木) 00:55:51.96

>>654
これ深さ優先でしょうか。
幅優先のような気がしてなりません。

**デフォルトの名無しさん** · 2013/03/21(木) 01:29:24.35

その人、悪い人じゃないんだけど、ちょっとおかしいところあるから、あまり関わらないほうがいいよ。

**デフォルトの名無しさん** · 2013/03/21(木) 06:29:01.79

>>655
Wikipedia の幅優先の項のグラフを借用して説明します。
http://ja.wikipedia.org/wiki/%E5%B9%85%E5%84%AA%E5%85%88%E6%8E%A2%E7%B4%A2

　　　　　　1

　　　2　　3　　4

　5　　6　　7　　　8

9 10　　　　　　　11 12

プログラムでは、着手評価が唯一の実効のある作用なので、着手評価によって
横方向の優先順位を決めることが幅優先に見えることは仕方ない。
[2,3,4],[5,6],[7,8],[11,12]の順序は実は動的に決められます。

しかし、実際の手の読む順序は
1 - 2 - 5 - 9 　が第一解
1 - 2 - 5 - 10　が第二解
1 - 2 - 6 　　　が第三解

のように、このノードが先に優先して評価されていきます。2-5-9,10を評価して
いる時には7,8,11,12などは置いてきぼりの状態にあります。
これは幅優先ではありません。

**657** · 2013/03/21(木) 06:31:38.99

実際の手の読まれる順序ですね。

**デフォルトの名無しさん** · 2013/03/21(木) 10:44:06.29

>>657
私の求めていたアルゴリズムとは違うようですが、
これはこれで興味深いですので、何とか解読してみたいと思います。
ありがとうございました。

**デフォルトの名無しさん** · 2013/03/21(木) 21:35:47.92

大学で習ったから家でもやろうかと思い立ったが、やっぱり個人で無料の場合はswi-prologなのだろうか
ちなみに大学は有料の処理系つかってたみたい

**デフォルトの名無しさん** · 2013/03/21(木) 23:37:50.17

教官とそのソフトの業者がつるんでるんだろうな。
でなきゃ、Prologとして十分な機能を備えているswi-prologを避ける理由が分からん。

**デフォルトの名無しさん** · 2013/03/22(金) 07:06:47.14

>>661
ずっと以前のバージョンで日本語に不具合があったから、
というようなことが理由になっている場合が多いと思います。

**デフォルトの名無しさん** · 2013/04/02(火) 13:57:47.80

macでgnu prologやってみたいのですが、「gprolog-1.4.3.tar.gz.」をダウンロードしてからが
分かりません、どなたか教えていただけませんか

**デフォルトの名無しさん** · 2013/04/02(火) 21:34:37.35

GNU is Need Unix

**デフォルトの名無しさん** · 2013/04/03(水) 01:00:09.38

＞663
まさか解凍できないという話ではないでしょうね

**デフォルトの名無しさん** · 2013/04/03(水) 01:09:29.27

xcodeとコマンドラインツールズとhomebrewもいれららない世の中じゃ、ポイズン。

**デフォルトの名無しさん** · 2013/04/03(水) 21:02:14.22

ははあ、LC475かな。FPUというのがあってですね。

**デフォルトの名無しさん** · 2013/04/03(水) 22:00:36.89

Macportもどうぞ

**デフォルトの名無しさん** · 2013/05/18(土) 18:33:05.23

【論理力テスト】次の文章は正しいようで実は論理的に間違っています。どこがどうおかしいか貴方は説明できますか→「何度学校を変わってもいじめられるのは、いじめられる側に原因がある証拠だ」…答えは「感情自己責任論」で検索

**デフォルトの名無しさん** · 2013/05/18(土) 21:27:03.74

>>669
検索したが分からなかった。
あなた説明して。

∀Student[∀School{bullied(Student,School)→caused(Student)}]
全ての生徒について、その生徒があらゆる学校で虐められるならばその生徒に原因がある。

もしかして、反証可能な命題の提示ではあるが論理的な証明ではないとか言えば良い？

**670** · 2013/05/18(土) 21:45:08.12

違うか。

> ∀Student[∀School{bullied(Student,School)→caused(Student)}]
> 全ての生徒について、その生徒があらゆる学校で虐められるならばその生徒に原因がある。

∀Student[∀School{(enroll(Student,School)∧bullied(Student,School))→caused(Student)}]
全ての生徒について、その生徒が在学したあらゆる学校で虐められるならばその生徒に原因がある。

**デフォルトの名無しさん** · 2013/05/19(日) 13:06:01.33

SWI-Prologって64bit版が出ていたのですね。
知らなかったが，Windows 7の64bit版に
今日インストールして使いはじめました。
気のせいか，処理速度がすこし速くなったよう
に思います。

**デフォルトの名無しさん** · 2013/05/19(日) 20:15:05.45

Bratko さんの Prolog 本（新版）の日本語版はでないのでしょうか
…原書の自炊ミスって単語一個分余計に切り落してしまい絶望中

**デフォルトの名無しさん** · 2013/05/20(月) 23:47:35.64

SWI-Prologの64bit版をインストールしたのだけれど
SWI-Prolog-Editorと相性が悪いらしく，
configurationのProlog folderに64bit版のフォルダーを
していして，プログラムを書いてconsult.を押しても，
prologプログラムが見当たらないというエラーメッセージ
がでる。
しかたがないので，32bit版もインストールしてそちら
のホルダーを指定して使っている。
64bit版でSWI-Prolog-Editorを同期して使っている方
が居られましたら，どうすべきかご教授いただけると
ありがたいです。

**デフォルトの名無しさん** · 2013/06/14(金) 12:50:56.41

prologで作られたアプリケーションやライブラリのリンク集みたいなものはないのでしょうか

prologで型推論エンジンつくろうと思ってるのですが
多分だれか既に作った人いないわけないので
どこかで公開していないかと

**デフォルトの名無しさん** · 2013/06/15(土) 00:25:36.27

arXivで検索検索

**デフォルトの名無しさん** · 2013/06/17(月) 19:15:02.01

>>675
http://rainyday.blog.so-net.ne.jp/2008-06-16

ここにPrologで書いたとても簡潔な型推論コードがある

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

量子コンピュータが実用化されたら Prolog 大活躍するん？

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>678
むしろPrologが必要なくなる方向を予想する

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>679
Prologの連言が量子コンピュータ上では通じなくなるなんて
ことがあるかなぁ。

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>680
というか、すべての計算を探索に還元するんだから、わざわざPrologで設計する必要がないというか

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>681
そういう意味での探索は実は現在のPrologにとって苦手。
遅かったり、スタックオーバーフローが起きたり。
ここの部分がアセンブラ化することはPrologにとって
御の字ではなかろうか。

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

量子コンピュータが実現しても、KL/1でやってることががprologのコードで書けるようになるというイメージしかない

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

Prologがやるべきことは、人間にとって寧ろ需要な
表層の知を確認する作業。要するにシンボル操作だから、
量子コンピュータとは直接的な繋がりはないかも。

**デフォルトの名無しさん** · 2013/07/06(土) NY:AN:NY.AN

SWI prologです

ex.pl　というファイルを

?- X is 3,X > 0.
?- append([1,2,3],[4],X),print(X),write(X).

以上のような中身とし、
コンソールで [ex]. とうつと

902 ?- [ex].
aaa+[1,2,3,4]
% ex compiled 0.00 sec, 1 clauses
true.

のようになるんですが、これをコンソールで逐一手で入力したのと同様に、下記のように変数の同定結果まで出力させるにはどうしたらよいでしょうか？

903 ?- X is 3,X > 0.
X = 3.

904 ?- append([1,2,3],[4],X),print('aaa'+ X).
aaa+[1,2,3,4]
X = [1, 2, 3, 4].

**デフォルトの名無しさん** · 2013/09/01(日) 19:13:48.36

swipl-win.exeで、日本語を入力したときにカーソル位置がズレるのですが、何か良い手はないでしょうか？
version 6.4.1 (windows 64bit)版です。

**デフォルトの名無しさん** · 2013/09/01(日) 20:41:43.53

emacsのシェルモードで試してみてはどうか

**デフォルトの名無しさん** · 2013/09/01(日) 21:52:09.09

windowsなので、emacsは入れたくないです。cygwinインストールが必須らしいので。
サクラエディタ上で使えたらよいのですが、うまくいきません。

**デフォルトの名無しさん** · 2013/09/01(日) 21:56:08.08

>>688
emacsもmeadowもcygwin無しでOKのwindows版あるよ

**デフォルトの名無しさん** · 2013/09/01(日) 22:23:09.77

ありがとうございます。試しにMeadow入れてみました。
M-x shellでシェルモードにして、その中でswipl.exeを実行してみましたが、
プロンプトが表示されないなど、満足に動作しませんでした。

**デフォルトの名無しさん** · 2013/09/07(土) 16:18:13.90

日本語対応が十分にできるている処理系はありますか？

**デフォルトの名無しさん** · 2013/09/12(木) 18:45:07.45

Prologで仕様記述できますか？

**デフォルトの名無しさん** · 2013/09/12(木) 19:42:43.95

>>692
ルールを決めればできるでしょう。

**デフォルトの名無しさん** · 2013/09/28(土) 12:48:49.81

Prologで２つの値が等しいと（ポインター）アドレスが等しいは区別されていますか？
Lispのeq? equal?の違いみたいなものです

**デフォルトの名無しさん** · 2013/09/28(土) 16:58:44.30

>>694

?- X = Y, X == Y.
X = Y.

?-
区別されませんね。

**デフォルトの名無しさん** · 2013/09/30(月) 16:49:29.65

X =:= Y.

**デフォルトの名無しさん** · 2013/10/02(水) 13:46:42.08

>>692
そこで言ってる仕様記述ってどういう意味のですか？

**デフォルトの名無しさん** · 2013/10/20(日) 04:46:24.01

PrologにはstalinやMLtonみたいな
超高速コンパイラってありますか？

**デフォルトの名無しさん** · 2013/10/20(日) 17:54:10.52

ICOTでいろいろ量産されてた気がする

**デフォルトの名無しさん** · 2013/10/21(月) 09:21:25.23

いつのまにかEclipseでPrologが書けるようになってた
便利だ・・・

**デフォルトの名無しさん** · 2013/10/23(水) 10:06:56.32

Prologで常識的には
ある文章の中の名詞なり動詞なりなにを関数にするもんなでしょう？

**デフォルトの名無しさん** · 2013/10/23(水) 11:23:06.63

>>701
対象となっている、物、事、性質、動作、行為、状態、これらの複合したもの、
文章。何がきてもよいのではないですか。述語論理だから、述語、すなわち、
動詞句や形容詞等が来なくてはならないということはありません。

**デフォルトの名無しさん** · 2013/10/23(水) 19:36:57.16

>>701
手続き的な例ですが、こんなのもあります。
http://nojiriko.asia/prolog/j72_815.html

**デフォルトの名無しさん** · 2013/10/24(木) 11:33:03.43

>>702
PrologってJavaのメソッドのような意味での関数でなくMapやListのようにも
振る舞うみたいなので作法があるのかと思ってました
関連付けって思えばいいんですかね？

>>703
わかりやすいです
ありがとうございます

**デフォルトの名無しさん** · 2013/10/27(日) 06:57:07.73

東京キャビネットみたいな
高速で検索できるデータベースの中を
Prologの命題で検索できないのでしょうか

MySQLは，それっぽいのみつけたので
既にあるのかもしれないですが

**デフォルトの名無しさん** · 2013/10/27(日) 09:25:23.92

Prologで文法のサイトはよく見るんだが
VSのプロジェクトのような作り方ってPrologできるのん？

**デフォルトの名無しさん** · 2013/12/17(火) 10:57:32.78

swi-prologが標準みたいだけど
swi-prologが一番使われてる理由って何故ですか？
swi-prologじゃなくて２番手みたいな処理系ってないのですか？

**デフォルトの名無しさん** · 2013/12/17(火) 11:59:17.93

>>707
SWIは開発が活発で
組み込みやライブラリ、
ドキュメントが一番充実してる
教育や研究目的には向いてると思う

機能重視ならSWI
速度重視ならYAPやGNU Prologなどもオススメ