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

その後どうだい？