【論理】Prolog【初心者】

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

Prolog初心者のスレ

これは良い言語だ…

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

ただでさえ過疎スレなのに初心者スレが必要なのか？

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

>>1
萌

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

>>2
初心者を増やしていきたいじゃないか
いい言語だし、もっと使われてもいいはず

**デフォルトの名無しさん** · 2010/11/06(土) 14:23:21

Prolog初心者があそびにきました

1. 日本語の通る無料の処理系
2, 初心者向けチュートリアル
3. 初心者向けおすすめ書籍（いまでも容易に手に入るもの）

あたりがテンプレにあると助かります
ご一考いただれば幸いです

**デフォルトの名無しさん** · 2010/11/06(土) 23:55:21

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

**デフォルトの名無しさん** · 2010/11/07(日) 19:12:20

.NETで動く、あるいはC#コードに埋め込めるPrologがあればいいのだが

**デフォルトの名無しさん** · 2010/11/07(日) 22:39:54

Prolog#
IronProlog

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

>>8
おぉ、㌧

**デフォルトの名無しさん** · 2010/11/09(火) 09:56:40

>>8
p# ではなくて、prolog# か。
別のものかな。

**デフォルトの名無しさん** · 2010/11/09(火) 10:01:41

>>5
2, これはSWI-Prolog でいいでしょう。
3,　http://www.amazon.co.jp/dp/4303716901　

11 · 2010/11/09(火) 10:04:06

ごめん処理系だから、　1, でした。
2, は素っ気ないのが多くて難しいな。

**デフォルトの名無しさん** · 2010/11/09(火) 10:34:19

>>2
これからが、Prologの時代だ。

**デフォルトの名無しさん** · 2010/11/09(火) 12:17:58

考えてみると、Prologチュートリアルはこのスレ(別スレ立ててもいいけど)でこれから始めればよい。

**デフォルトの名無しさん** · 2010/11/09(火) 14:53:12

「Prologの宿題片付けます」の方は、凝った問題が多くて初心者向けとは
いえないから、ここは思い切りやさしい課題満載のスレになるといいね。

**デフォルトの名無しさん** · 2010/11/09(火) 21:57:56

prologこそクラウドを制することの出来る言語

**デフォルトの名無しさん** · 2010/11/09(火) 22:41:14

つーかPrologは何に向いてるのかが初心者を惑わすのだと思ふ

**デフォルトの名無しさん** · 2010/11/10(水) 06:33:16

Prolog 百夜話

引数がリストかどうか判定する述語 list/1 の定義は、

list([_|_]).

です。

?- list([1,2,3]).
yes
?- list([1,2|R]).
R = _13353
yes
?- list([1,[a,b],3]).
yes
?- list(3).
no

ところで、
?- list([]).
no
?- 空リストはリストではありません。アトムです。

**デフォルトの名無しさん** · 2010/11/10(水) 11:22:34

>>17
はっきり向いていない分野がいくつかあり、
それ以外はどんな分野でも「大変に」向いている。
そういう言語です。

**デフォルトの名無しさん** · 2010/11/10(水) 12:59:28

>>17,19
はっきり向いていない分野が大半だけど、
ごく一部の分野に限れば「大変に」向いている、ではないかと思う。

**デフォルトの名無しさん** · 2010/11/10(水) 13:17:24

>>20
多分、定理証明のような分野を念頭に置いての書き込みだろう。
現在のPrologの衰退ぶりから見て、それが常識化しているのかも
知れない。
このスレの中でその常識が誤謬であることを証明しよう。
ありとあらゆる分野のコードを示すことで。

**デフォルトの名無しさん** · 2010/11/10(水) 19:51:31

>>18
こういう出鱈目を書く人がもう居着いてるから難しいｗ
という冗談はともかく。

普通、空リストを含めてリストと呼ぶ。
[_|_]に適合するのはconsとか言って区別する。
よね。

**デフォルトの名無しさん** · 2010/11/10(水) 20:20:30

>>22
そうだったか！
私は２０年以上、空リストはリストではないと思っていた。

list([]).
list([_|_]).

これが定義ですか。
アトムでかつリストというのはちょっと腑に落ちないが。

**デフォルトの名無しさん** · 2010/11/10(水) 20:25:49

一応参考まで
http://www.google.com/codesearch
lang:prolog ^(is_?)?list\(\[

**デフォルトの名無しさん** · 2010/11/10(水) 21:13:19

完全な定義は、
list(V) :- var(V),!,fail.
list([]).
list([H|T]) :- list(T).

'.'(3,5) はリストではない。

**デフォルトの名無しさん** · 2010/11/10(水) 21:17:44

ぶっちゃけリストの定義なり扱いなりは、歴史的には処理系によりけりなりけり。
[]がアトムでなくてもあまり困らないし。

**デフォルトの名無しさん** · 2010/11/10(水) 21:40:22

>>26
そういうことのようですね。

**デフォルトの名無しさん** · 2010/11/11(木) 08:42:20

初心者にとっては難解なやりとりだったと思いますが、

list/1 という述語は integer/1 と同じく検査用の述語として使おうとしています。

?- list([1,2]).
yes
?- list(8).
no
?- です。典型的な使われ方としては、

加算([],0).
加算([L|R],S) :-
　　　　list(L),
　　　　加算(L,S1),
　　　　加算(R,S2),
　　　　S is S1 + S2.
加算([A|R],S) :-
　　　　number(A),
　　　　加算(R,S1),
　　　　S is A + S1.

?- 加算([3,4,[1,2,3],2],X).
X = 15
?- となります。

**デフォルトの名無しさん** · 2010/11/12(金) 05:55:38

>>26
そりゃ、困るだろう。リスト項という型があるわけでもないし。
それなら[]は何に帰属するんだい？

**デフォルトの名無しさん** · 2010/11/12(金) 09:07:46

アトムでも複合項でもない「文字列」の型を導入している処理系だってあるし、
別に何でもいいのでは

**デフォルトの名無しさん** · 2010/11/12(金) 09:10:45

もちろんISO準拠にはならないという意味では困るけど

**デフォルトの名無しさん** · 2010/11/12(金) 09:20:29

>>29
横レスだけど、Prologの[]は、LISPでいうところのNILに相当するのではないかと

?- X=[a|[]].
X = [a].

?- X=[she | [is | [25 | []]]].
X = [she, is, 25].

**デフォルトの名無しさん** · 2010/11/12(金) 09:24:51

そういえば、Schemeの空リスト () は型が独立している…よね？

**デフォルトの名無しさん** · 2010/11/12(金) 09:34:34

>>30
単純項と複合項　しかない　というのがPrologの値打ちだったのではないかな。

**デフォルトの名無しさん** · 2010/11/12(金) 09:40:55

よくわからんけど、その「単純項」とやらの仲間に入れてやればいいじゃん
数のことを考えてあえて「アトム」とは書かなかったんでしょ