Prologでまったり Part5 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/03/24(金) 14:51:42.44

過去スレ
Prologでまったり Part4
http://pc12.2ch.net/test/read.cgi/tech/1235561034/
Prologでまったり Part3
http://pc11.2ch.net/test/read.cgi/tech/1193354806/
PrologでまったりPart 2
http://pc11.2ch.net/test/read.cgi/tech/1102664221/
Prolog でまったり
http://pc5.2ch.net/test/read.cgi/tech/976462999/

**デフォルトの名無しさん** · 2021/05/28(金) 02:56:30.10

>>134
5chでこの質問は無理かな。twitterで問いかけてみよう。

**デフォルトの名無しさん** · 2021/05/28(金) 03:08:05.89

Prologおじさんは真夜中に仕事!

**デフォルトの名無しさん** · 2021/06/01(火) 15:31:29.00

>>5

いや、Prologは動的な型はあるぞ。
integer/1 で整数であるか調べたりもできる。
型がなかったら整数かどうかを調べることもできない。

**デフォルトの名無しさん** · 2021/06/01(火) 15:35:19.88

>>59
TAPLみたいな型理論を理解するには述語論理を使えるPrologを使うと理解がしやすいと思うんだがな。
単一化もあるから型推論も簡単にかけるし。

**デフォルトの名無しさん** · 2021/06/01(火) 15:44:36.37

>>128
定理証明支援系のCoqも.で終わったりします。
Coqで.を使う言語は言語を扱うメタな言語の方なので、
Prologと共通点があるのかもw

**デフォルトの名無しさん** · 2021/06/01(火) 19:28:43.26

>>137
Prologで整数や数値が「型」かどうかとなると相当に怪しい。
単に計算対象になる整数。数値。そしてアトム。それだけ。
複合項のパターンを纏めるつもりが全くない言語で型があると言ってよいものだろうか。

**デフォルトの名無しさん** · 2021/06/02(水) 00:05:18.95

Prologの規格にPrologと型という概念は相容れないという記述でもあるのか?
教えてくれ

**デフォルトの名無しさん** · 2021/06/02(水) 00:26:36.32

さすがProlog！悪魔の証明もできちまうんだ

**デフォルトの名無しさん** · 2021/06/02(水) 00:48:25.45

閉世界仮説だしね

**デフォルトの名無しさん** · 2021/06/02(水) 02:56:41.74

>>141
50数冊発行されている日本語のProlog書の中で、索引に型という項目が存在するのは3冊だけ
やはり単一化が相当に重いから、さらに型付をしたいとは思わないということでは

**デフォルトの名無しさん** · 2021/06/02(水) 08:33:49.33

>>144
型という概念はFORTRANの時代からあったわけだし、使ってもよかったはずだけれど
使わなかった。アトムだけで行きたかったけれど妥協して数値は作った。
論理変数に型付けなんて論外。要するにほんの少しでも決まり事を減らしたい。そういう世界。

**デフォルトの名無しさん** · 2021/06/02(水) 08:42:56.55

>>145
最初から確信を持ってそうなのだから、所謂ガルパゴス化ではないと

**デフォルトの名無しさん** · 2021/06/02(水) 12:47:50.87

述語論理とかHaskellがあがっていますが、
小6では述語論理やPrologでは遅すぎ。Haskellでは早すぎるのではないでしょうか。

**デフォルトの名無しさん** · 2021/06/02(水) 12:50:22.32

>>147
すみません。これ誤爆でした。

**デフォルトの名無しさん** · 2021/06/04(金) 09:27:00.93

「文字を覚えたときがPrologの覚えどき」
とは、言い得ると思うのですが、さて、この「文字を覚えたとき」を何時とみるか。
5才なのか、7才なのか、それとも・・・

**デフォルトの名無しさん** · 2021/06/04(金) 09:39:23.01

>>149
個人差がある。幼稚園に入るために予備校に行ってる児童もいる。この場合は4才だって行けるだろうし。

**デフォルトの名無しさん** · 2021/06/04(金) 11:51:33.16

公立の小学校なら二年生から。そういう言い方をしないといけないのかな。

**デフォルトの名無しさん** · 2021/06/04(金) 23:56:12.37

オーソドックスなPrologマスターが世間に露出してないのが日本Prolog界の不幸

**デフォルトの名無しさん** · 2021/06/05(土) 05:28:48.44

わりと興味はあるが書店行っても大学の教材みたいな内容の本しかないのが辛い
CやJavaみたいな初心者向けの入門書（それでいてそれなりに深いとこまでやるゴツくて厚いやつ）欲しい
教材タイプのって数学の教科書みたいな、必要十分なこと書いてはい説明終わり、ここまでの内容でこの問題できるからなやっとけよ、で突き放されて分からないまま途方に暮れて終わる

**デフォルトの名無しさん** · 2021/06/05(土) 08:05:06.46

>>153
適切な表現かどうかわからないが、Prologの『逆引き』本がほしい。
アプリのグループでまとめたもの。まとまった単位のソースが得られ
ればそれをヒントに作り替えたり、そこまでできなくても深く学ぶこ
とができる。

**デフォルトの名無しさん** · 2021/06/06(日) 19:15:04.37

>>140
マーキュリーとか普通にHM型付けしてたりしてますよ。
型クラスもあるしw

integerはatomの部分型と考えることができますし。
numberもatomの部分型
string型もあるし、objectもありますよね。
動的型付けな言語は多かれ少なかれそう言った型システムに守られているので、型なしで未定義エラーで死んだりしません。

**sage** · 2021/06/06(日) 19:19:06.05

>>147
Prolog を型理論を学習する前後で勉強すると良いのではと思う今日この頃です。
述語論理は普通のプログラマにとってとっつき辛いのでTAPLは難解だと言われている。
Prolog で一階述語論理を理解しておくと図が簡単に実装できるので便利w

**sage** · 2021/06/06(日) 19:27:41.20

>> 152
日本語プログラミングとか、型理論とかは確かにオーソドックスじゃないのかもなぁ。
Prologの得意分野は非決定的な計算や言語を扱いやすい点にあるので、言語機能の実験にちょろっと使うのに便利w
だからプログラミング言語の論文で広く述語論理が使われてるのだと思う。

**sage** · 2021/06/06(日) 19:30:01.30

Prologは文法を意識しないで日本語が話せるように使うことができるという意味で簡単だ。
しかし言語の文法を意識して研究する場合にも有用であるので、とっつきやすい人はとっつきやすいのだけど、文法がどうのって話になると途端に敷居が上がる言語だと思いますな。

**デフォルトの名無しさん** · 2021/06/10(木) 12:53:16.61

>>141
ISOの規格(ISO/IEC 13211-1)では7.1に4頁ほどを割いています。floatやintegerそしてリストの説明。
しかし、冒頭のやや下に

NOTE - Prolog is not a typed language, and an argument of
a compound term or predication tan be any term whatsoever.
・・・
から始まるコメントがあり、その内容は私には不可解ですが、全くtypesを重視しない、そして
言語としてはこの問題に関わらない姿勢だけは読み取れます。

**デフォルトの名無しさん** · 2021/06/10(木) 23:11:29.64

んー．この註釈が型について語っていることはむしろ逆だろう．
Nonetheless, some predications can be satisfied only when the arguments possess particular properties, and some evaluable functors are defined only when the operands (3.121) possess some particular property.
と続くが，some particular property はつまり型じゃない?
これはrubyとかlispを型なし言語と表現するようなものじゃないかな．
アトミックな項か複合項しかない(型なし言語)にもかかわらず，some particular property をみて処理する(型がある)わけでしょう?

**デフォルトの名無しさん** · 2021/06/13(日) 16:17:57.28

>>159
プログラミング言語を広く見た場合にPrologは動的型付け言語な言語なのだけど、
Prolog 文化としては動的型付け言語は型なし言語と標準を作る際でも呼んでいる。
標準化委員会の趣味や趣向、時代的な背景の違いによる用語選択の違いでしょう。

**デフォルトの名無しさん** · 2021/07/10(土) 06:42:49.52

ツィート見たけどPrologおじさんまじか。

**デフォルトの名無しさん** · 2021/07/10(土) 07:22:38.57

悲しい
失われる前に知識のアーカイブ化を

**デフォルトの名無しさん** · 2021/07/10(土) 14:20:04.35

@TakaoOzaki
肺癌進行
最短経路でpinpinころり
南無南無

**デフォルトの名無しさん** · 2021/12/26(日) 11:33:27.89

快方に向かっているようでよかった。

**デフォルトの名無しさん** · 2023/07/07(金) 23:08:08.10

その後どうだい？