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/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

その後どうだい？