【論理】Prolog【初心者】

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

Prolog初心者のスレ

これは良い言語だ…

**デフォルトの名無しさん** · 2016/05/07(土) 09:29:24.35

>>810
ありがとうございます。
図々しく欲を言えば、応用範囲が広くなればもっと便利なのです。
数の概念を数学的に理解しすぎるとシンボルグラウティングを経た後の統計処理でプログラムが複雑になりすぎるので

**デフォルトの名無しさん** · 2016/05/07(土) 11:51:33.38

あぁ、こりゃだめだ。
応用範囲を広くといっても、>>807の問題から何をどうしたいのか意味不明。
そもそも閉世界仮説が前提のprologには無理なことを求めてるんじゃね？

**デフォルトの名無しさん** · 2016/05/07(土) 17:29:00.43

ホント何がしたいのか分からない
がんばって自力で実装するしかない

**デフォルトの名無しさん** · 2016/05/07(土) 18:15:08.71

072は自分でどうぞ

**デフォルトの名無しさん** · 2016/05/08(日) 21:27:34.20

まあPrologに一般的な概念を覚えさせて
具体的問題を個別対応でなく
その応用で一気に解かせたくなる
という気持ちは分かる

でもほとんどの場合そう上手くいかない
フレーム問題みたいなものがあるから

**デフォルトの名無しさん** · 2016/05/09(月) 17:43:56.94

論理型言語も圏論と関係あるんですか？

**デフォルトの名無しさん** · 2016/05/09(月) 23:39:14.35

様相論理を実装しようとするまでは圏論無視してても問題ない

**デフォルトの名無しさん** · 2016/05/10(火) 02:27:30.00

実装した後はどうなりますか？

**808** · 2016/05/10(火) 18:29:01.20

>>807

ほかの人が言っているようにちょっとやりたいことがわからない（説明不足）けどこういうことかな？
ＤＣＧを使った。

ringo(Ret)-->[a],{Ret = ringo}.
banana(Ret)-->[a,a],{Ret = banana}.
ichigo(Ret)-->[a,a,a],{Ret = ichigo}.
mikan(Ret)-->[a,a,a,a],{Ret = mikan}.
kiwi(Ret)-->[a,a,a,a,a],{Ret = kiwi}.

fruit(X)-->ringo(X);banana(X);ichigo(X);mikan(X);kiwi(X).

ringo_ringo([First|Rest])-->ringo(First),ringo(Rest),[].
ringo_banana([First|Rest])-->ringo(First),banana(Rest),[].

fruit_pair([X | Y])-->fruit(X),fruit(Y),[].

main:-
phrase(ringo_ringo(X),RingoRingo,[]),
write(RingoRingo),
write(' '),
write(X),nl,
phrase(ringo_banana(Y),RingoBanana,[]),
write(RingoBanana),
write(' '),
write(Y),nl,
phrase(fruit_pair(Z),[a,a,a,a,a],[]),
write('[a,a,a,a,a] '),
write(Z),nl.

**808** · 2016/05/10(火) 18:30:19.34

実行結果：
[2] 13 ?-
% Updating index for library c:/program files/swipl/library/
% c:/users/koyahata/documents/prolog/fruit2 compiled 0.00 sec, 11 clauses
[2] 13 ?- main.
[a,a] [ringo|ringo]
[a,a,a] [ringo|banana]
[a,a,a,a,a] [ringo|mikan]
true ;
[a,a,a,a,a] [banana|ichigo]
true ;
[a,a,a,a,a] [ichigo|banana]
true ;
[a,a,a,a,a] [mikan|ringo]
true ;
false.

やっつけなのでちょっとリストの作り方おかしいかもしれないけど…

**808** · 2016/05/10(火) 18:38:04.23

こういう質問もできるから、これでいいんじゃないの？

[2] 14 ?- phrase(fruit_pair([ringo|banana]),Ret,[]).
Ret = [a, a, a] ;
false.

[2] 15 ?- phrase(fruit_pair([banana|ichigo]),Ret,[]).
Ret = [a, a, a, a, a] ;
false.

**808** · 2016/05/10(火) 18:40:22.90

**デフォルトの名無しさん** · 2016/05/10(火) 21:36:21.72

>>818
実装した様相論理を圏論で表現すると論文を書くときにかっこいい

**デフォルトの名無しさん** · 2016/05/12(木) 02:37:17.88

様相論理というのはPrologの拡張ですか？

**デフォルトの名無しさん** · 2016/05/12(木) 03:50:49.89

PrologでProlog処理系作って改造すると学部卒研レベルでも様相論理を実装できる

**デフォルトの名無しさん** · 2016/05/12(木) 07:12:33.29

一階述語論理が論理型言語の計算モデルらしいですが、
高階述語論理をモデルとするような言語もあるのですか？

**デフォルトの名無しさん** · 2016/05/17(火) 22:49:38.79

C言語系はenumとswitchがあまり便利ではないから高階関数のようなものが必要だけど
Prologはtermとパターンマッチだけでほぼ満足してしまう

**デフォルトの名無しさん** · 2016/05/17(火) 22:57:05.36

>>827
関数型言語なら代数バリアント使いつつ高階関数が必須なんですが

**デフォルトの名無しさん** · 2016/05/18(水) 01:07:17.80

mapとか高階関数の定義にバリアント使うけどmapを利用する側はバリアント意識してない

**デフォルトの名無しさん** · 2016/09/13(火) 00:19:04.93

Prologとオントロジーは相性が良いと思うのですが
それに言及してる本などが少ないのは
あまり実用性がないと思われているのでしょうか？

**デフォルトの名無しさん** · 2016/09/13(火) 23:04:44.72

実用性はあるが、実用しようとするとPrologとあまり関係のないインターフェイスが超面倒臭い
インターフェイスの設計まで含んでるのがオントロジーだから、Prologにかぎったことではないが

**デフォルトの名無しさん** · 2016/09/14(水) 08:10:08.95

Prolog自体が知識ベースだからかも

**デフォルトの名無しさん** · 2016/09/17(土) 14:03:02.83

>>828
findall/3というSQLのselectに近い組込述語があって、

?-　L = [1,2,3],
　　findall(B,(member(A,L),foo(A,B)),L).

のように使える。これは、リストでなくfoo/1を参照して

?- findall(B,(boo(A),foo(A,B)),L).

とも変化できる。自由度が高い。
それで、map関数にあたるものは、Prologではほとんど使われない。

**833** · 2016/09/17(土) 14:05:15.47

「これは、リストではなくboo/1を参照して」
です。foo/1としたのは間違い。

**デフォルトの名無しさん** · 2016/09/21(水) 21:43:10.85

もし + が述語だったら is(A, 1 + 1) は高階述語だったかも？
でも実際は高階述語などではなくただのパターンマッチでいい

**デフォルトの名無しさん** · 2016/09/24(土) 05:37:08.07

Prologだけ機械学習の波に乗れてない……

**デフォルトの名無しさん** · 2016/09/24(土) 05:50:29.45

波に乗るっつうかバックにそういうシステムを置くフロントエンドになるだけじゃね

**デフォルトの名無しさん** · 2016/09/26(月) 14:53:21.88

http://goo.gl/RwsbST

http://goo.gl/rPZnK3

おおおお

**デフォルトの名無しさん** · 2016/09/26(月) 16:11:02.20

prologで微分の導関数(derivative)を求めるというプログラムがネットで幾つかヒットして参考になるのですが、どれも式変換したあとの簡略化をしっかり行っていない（不十分だったりまったくやっていない）
簡略化（例:因数分解→分母分子で同じ部分探して約分）のプログラムやアルゴリズムに関して解説した記事などをご存じの方はいますか？

**デフォルトの名無しさん** · 2016/09/26(月) 20:18:06.76

>>839
記事ではなくて書籍であれば、以下の22章にコード付きの解説がある

・Prologの技芸 : Leon Sterling, Ehud Shapiro, 松田利夫
　https://www.amazon.co.jp/dp/4320097106

章冒頭の概要と詳細目次を書いておく

第22章方程式を解くプログラム

　Prologの応用分野として、極めて自然な分野が記号処理である。
例えば、典型的な記号処理の問題である記号微分のPrologプログラムは、
プログラム3,29に示すように、微分規則を違う構文法で記述したものにすぎない。

　本章では、記号方程式を解くプログラムを示す。これは、エジンバラ大学
人工知能学科数理推論研究グループによって開発されたPRESS(PRolog
Equation Solving System)の簡易板である。PRESSは、高校の最高学年の
生徒程度の数学の能力を持つ。

　本章の構成は以下の通りである。最初の節では、解法例を示して、方程式の
解法の概要を説明する。残りの4節では、方程式を解くプログラムに実現されている
4つの主要な解法について述べる。

　　22.1 方程式の解法の概要
　　22,2 因数分解
　　22,3 孤立化
　　22,4 多項式
　　22.5 同次化
　　22.6 背景

**839** · 2016/09/28(水) 10:01:23.90

>>840
ありがとうございます。該当の文献の英語版を読んでいるのですが多分因数分解は以下のコードだと思います。古い本で→や\等の記号が用いられており勝手に以下と解釈しました。
→　　…　:-
\　　 … 差分リスト
↑　　…　^
subterm(Term,Term).
subterm(Sub,Term):-compound(Term),functor(Term,F,N),subterm(N,Sub,Term).
subterm(N,Sub,Term):-N>1,N1 is N-1,subterm(N1,Sub,Term).
subterm(N,Sub,Term):-arg(N,Term,Arg),subterm(Sub,Arg).
factorize(A*B,X,[Factors-Rest]):-!,factorize(A,X,[Factors-Factors1]),factorize(B,X,[Factors1,Rest]).
factorize(C,X,[[C|Factors],Factors]):-subterm(X,C),!.
factorize(C,X,[Factors,Factors]).
実行結果は以下となり、うまく因数分解できないのですが、どうすればよいかわかりますか？
1 ?- subterm(X,a*b*(c-d/e)^f).
X = a*b* (c-d/e)^f ;
X = a*b ;
X = a ;
X = b ;
X = (c-d/e)^f ;
X = c-d/e ;
X = c ;
X = d/e ;
X = d ;
X = e ;
X = f ;
false.
4 ?- factorize(x^2+4*x+4,A,x+2).
false.
5 ?- factorize(x^2+4*x+4,A,B).
A = x^2+4*x+4,
B = [[x^2+4*x+4|_G1609], _G1609].

**839** · 2016/09/28(水) 10:16:30.93

すみません差分リストのとこ[Factors-Rest]と[Factors,Rest]が混在してまちがってましたが
[Factors,Rest]の形式に統一しても同じエラーでした。
多分すでに式がA*Bの形式になっている前提で書かれているコードのような…
x^2+4^x+4 → (x+2)^2 の形式には変換できなそうですね。

**デフォルトの名無しさん** · 2016/11/17(木) 10:52:19.73

>>70
SWI-Prologだと、read_line_to_codes/2というような述語があります。第一引数に
ストリームがきます。
?- read_line_to_codes(user_input,X).
: qaz
X = [113, 97, 122].
となります。
get_line(Stream,Line) :-
read_line_to_codes(Stream,L),
atom_codes(Line,L).
という簡単な定義でピリオドなし入力を定義できます。

**デフォルトの名無しさん** · 2016/12/03(土) 10:33:29.10

実は多くのプログラマが最初は read を使ってデータ入力するプログラムを
書くのですが、実際に利用する人たちに拒否されます。それで、この
get_line のような行入力が必要になるのですが、get_char を使って再帰的に
述語を書くのことはハードルとなります。それでこの read_line_to_code の
ような述語があるのであれば、広く知らしてあげる必要があります。

**デフォルトの名無しさん** · 2016/12/03(土) 13:28:23.04

>>70は有用なレスだが
しかしメジャーな言語なら
こんな基本的な述語（メソッド）は
書かなくても標準ライブラリにあるよな

**デフォルトの名無しさん** · 2016/12/03(土) 14:44:47.05

>>845
ライブラリというと、readln/1 というのがあるにはある。
?- readln(X).
:| abc
X = [abc].
で一見うまくいく。ところが
?- readln(X).
:| abc def
X = [abc,dec].
と余計なことをしてしまう。全体をアトムとして欲しいわけです。
それで使われない。

**デフォルトの名無しさん** · 2016/12/04(日) 05:31:31.27

>>846 無茶な。

?- readln(X).
|: abc:def(ghi).
X = [abc, :, def, '(', ghi, ')', '.'].

?- のように使われるためのもの。

**デフォルトの名無しさん** · 2016/12/04(日) 20:17:09.28

SWI-Prologに関する限り、入力よりも出力の方が変というか使いにくい。
format述語のことだけれど。

**デフォルトの名無しさん** · 2016/12/05(月) 20:24:12.86

SWI-Prologの問題を超えて、この処理系のマニュアルが改善
されれば、Prologはもっと普及すると思う。
あまりにも、個々の実例が少なすぎる。多くのプログラマは
実例を見比べてその違いから、問題を理解するという方法を
身に付けているが、その方法に沿った資料に全くなっていない。
SWI-Prologが現在のPrologを代表するものに成長しているの
だから、この部分に人を割いて欲しい。

**デフォルトの名無しさん** · 2016/12/11(日) 00:28:21.45

そこまでPrologに肩入れする理由は何？

**デフォルトの名無しさん** · 2016/12/16(金) 12:14:52.67

>>846
atom_concatつかうのはどうですか？

9 ?- readln(X),X=[First|[Rest]],atom_concat(First,Rest,Out).
|: abc def
X = [abc, def],
First = abc,
Rest = def,
Out = abcdef.

**デフォルトの名無しさん** · 2016/12/16(金) 16:28:14.37

>>851
ありがとうございます。
基本的にそれでうまく行くことも多いのだけれど、
入力したままの文字列にならないという点で具合が悪い。空白が必ずひとつならば、
atomic_list_concat(X,' ',Out),
良いのだが、そうとは限らない。

**デフォルトの名無しさん** · 2016/12/16(金) 17:19:33.35

>>849
分かりやすいドキュメントは重要だよな

>>850
論理プログラミングに持ち込める問題なら
非常に簡潔に書ける

**デフォルトの名無しさん** · 2016/12/19(月) 17:20:34.24

>>850
他の言語には難しい表現が可能になるから。

**デフォルトの名無しさん** · 2016/12/22(木) 23:10:05.00

Lispの演習でユニフィケーションを実装すると、Prologがクセになる

マジおすすめ

**デフォルトの名無しさん** · 2017/01/22(日) 05:48:37.87

昨日ツイッターで出てきた。

即是(色,空).

という定義。これひとつで、
　
　空　色
　即　即
　是　是
　色　空
　
を満たしているのではないかと。

**デフォルトの名無しさん** · 2017/01/22(日) 06:07:17.17

Tiobe Index for January 2017 Very Long Term History

Programming Language 2017 2012 2007 2002 1997 1992 1987
Java 1 1 1 2 17 - -
C 2 2 2 1 1 1 1
C++ 3 3 3 3 2 2 4
C# 4 4 6 10 - - -
Python 5 7 7 16 27 - -
PHP 6 5 4 6 - - -
JavaScript 7 9 8 7 20 - -
Visual Basic .NET 8 24 - - - - -
Perl 9 8 5 4 3 - -
Assembly language 10 - - - - - -
Lisp 28 12 12 9 7 11 2
Ada 30 15 16 15 10 3 13
Prolog 33 43 27 27 14 9 3

Prologもメジャーだった。

**デフォルトの名無しさん** · 2017/01/23(月) 18:21:28.72

>>847

?- readln(X).
|: 愛情
X = [愛,情].

% というように、マルチバイト文字が分解されてしまう。これは直すべきだろう。

**デフォルトの名無しさん** · 2017/02/02(木) 09:31:31.52

>>845
Prologがメジャーな時代からこの点は変わりなかった。
つまり、Prologからすると、扱うのは項であり、項になり得ないものを
入力対象とすることを潔しとしなかった。
>>858 これはもう、
行入力(_行) :- readline_to_codes(current_input,X),atom_codes(_行,Codes).
を定義してしまった方がよい。

**859** · 2017/02/02(木) 09:33:43.86

ごめんなさい。
行入力(_行) :- readline_to_codes(current_input,Codes),atom_codes(_行,Codes).

です。

**デフォルトの名無しさん** · 2017/02/02(木) 09:40:23.12

>>859 >>860
すみません。これ、
行入力(_行) :- read_line_to_codes(current_input,Codes),atom_codes(_行,Codes).
だと思います。readline_ではなくて、read_line_です。それから、一般化して
行入力(_入力ストリーム,_行) :- read_line_to_codes(_入力ストリーム,Codes),atom_codes(_行,Codes).
としておいた方が、ライブラリ化するのなら良いと思います。

**デフォルトの名無しさん** · 2017/02/02(木) 09:44:53.78

>>861
ありがとうございます。うっかりしました。
それからライブラリの話はストリーム明記となしの両方を作る必要がありますね。

**デフォルトの名無しさん** · 2017/02/02(木) 09:48:41.37

ところで、
『Prologでまったり』スレ
復活したいですね。

**デフォルトの名無しさん** · 2017/02/02(木) 17:03:13.44

Alephなどの帰納論理ライブラリ使ってる方はいるんだろうか。話聞いてみたい。

**デフォルトの名無しさん** · 2017/02/06(月) 11:47:26.15

>>864
私はProgolを使いこなせなかった。それ以来はこの方面は手を出していない。
AlephはPrologで書かれているライブラリなのかな。

**デフォルトの名無しさん** · 2017/02/06(月) 18:10:43.59

>>859
read_line_to_string/2 というのもありますね。
普通どちらを使うものだろうか。

**デフォルトの名無しさん** · 2017/02/07(火) 18:24:31.96

最近Stringが使われているコードあまり見なくなりましたね。
関数名、述語名もアトムですから。アトムとして処理したいです。
sub_atom/5やatom_concat/3が強力であることもあって、文字コードが
出る幕はなくなったということでしょう。
read_line・・・については何故かどちらも文字コードが来るのですが。

**867** · 2017/02/07(火) 18:26:48.89

read_line_to_chars/2でよいと思うのですが何故_to_codesしかないのでしょうか。

**デフォルトの名無しさん** · 2017/02/08(水) 08:17:30.17

なぜ、Prologの世界で、これを標準ライブラリ化しなかったのか。
そのことの理解が必要なんだろうけれど。以下はどうしても必要だろう。

行入力(_入力ストリーム,_行) :-
read_line_to_code(_入力ストリーム,Codes),
atom_codes(_行,Codes).

**デフォルトの名無しさん** · 2017/02/13(月) 13:15:20.36

>>865
はい、Alephはprologで書かれています。
http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph

自分は「Prolog Programming for Artificial Intelligence 4th Edition」の
Inductive Logic Programing(帰納論理プログラミング）の記事を読んで興味を持ったのですが、
この本で紹介されているコードを大分レベルアップしたのがAlephやProgolのように感じました。

自分もまだ勉強中ですが、例えば以下の問題など興味深いです。

has_daughter述語の学習
　parent(X,Y):XはYの親、 female(X):Xは女性、という既存の述語があったとして、
　has_daughter(X)というボディ部不明の述語があり、
　これを満たす例、満たさない例をたくさん与えると、
　has_daughterのボディ部の内容の仮定を生成する

列車のeastbound-westbound問題（有名な問題のようです）
　これこれの構成で積荷がこれこれの列車は東行き、これこれだと西行きという事例を沢山学習させ、
　任意の構成の列車を入力するとそれが西行きか東行きかを生成した仮定を用いて判定する

**デフォルトの名無しさん** · 2017/02/15(水) 19:36:40.66

>>865
ちょっと遅くなりました。帰納論理プログラミングについては、魅力的ですし、
将来、重要な地歩を占めるものと、予感しています。Progolについては、
大量に現れる節の可能性を上手く排除できず、中断状態になったままです。
この機会にAlephやってみます。どうも有難うございました。

**871** · 2017/02/15(水) 21:51:16.42

まちがえました。自分を指してしまった。
>>870 でした。

**デフォルトの名無しさん** · 2017/02/16(木) 11:41:51.71

何で急にprolog流行り出したの？

**870** · 2017/02/16(木) 12:18:29.03

>>873
自分はProlog大好きなのですが全然流行っていないような…情報集めもメッチャ苦労しますし…

Prologの基本文法以外の、論文とかでしかあまり目にしない「応用Prolog」みたいな領域があって「日本ではあまり目立たなかったけど実は少しづつ進化していた」というのはあると思います。

日本語で目にするPrologの基本文法レベルの情報と外国で見つかる応用Prologの情報には大分差があるというのはあると思います。

文法にも大分手が入っている印象です

**デフォルトの名無しさん** · 2017/02/16(木) 21:41:14.28

>>873
どっかの大学で処理系作る演習課題を出したのでは

**デフォルトの名無しさん** · 2017/02/16(木) 23:14:34.57

>>873 >>874 >>875
これが爆発的に当たっているからですね。
http://qiita.com/vain0/items/6d3b75f667d3ec7f1d2a

**デフォルトの名無しさん** · 2017/02/17(金) 00:34:53.19

Prologって、第5世代コンピュータをつくるとかいって、ICOTという組織を
作って大々的に研究していたのじゃなかったかな。
ICOTの成果というものは、発表さいているのかしら。

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

発表されてたはずで、
https://ja.wikipedia.org/wiki/%E7%AC%AC%E4%BA%94%E4%B8%96%E4%BB%A3%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF
の外部リンク
AITEC・ICOTアーカイブス
第五世代コンピュータプロジェクトアーカイブ
の先にあったのだと思うけど今では 403 Forbidden と 404 Not Found

これは残ってた
第五世代コンピュータ・プロジェクト
最終評価報告書
http://www.jipdec.or.jp/archives/publications/J0005062

**デフォルトの名無しさん** · 2017/02/17(金) 05:29:01.81

>>877-878
プロジェクトの遺産であるKLICはメンテナンスされている。

並行論理プログラミング (KLIC version 3.01)
http://www.ueda.info.waseda.ac.jp/software-j.html
けいえるわん
http://www.ueda.info.waseda.ac.jp/~takagi/kl1/
並列論理型言語処理系 KLIC のページ
http://web.archive.org/web/20100815015107/http://www.klic.org/software/klic/index.ja.html
第五世代コンピュータプロジェクトアーカイブ
http://web.archive.org/web/20150121033015/http://www.jipdec.or.jp/archives/icot/ARCHIVE/HomePage-J.html

**デフォルトの名無しさん** · 2017/02/17(金) 07:43:14.35

>>878
>>879

情報ありがとうございます。

**デフォルトの名無しさん** · 2017/02/17(金) 15:48:47.57

残念…

https://ja.wikipedia.org/wiki/Prolog
>Prolog にオブジェクト指向プログラミングを取り入れた ESP
(略)
>ESPは多重継承を特徴とする当時としては先鋭のオブジェクト指向言語であった
(略)
>ISO の標準化作業は1987年頃から作業委員会(WG17)が作られ、
>日本委員も情報処理学会から15名ほどがこれに加わった。
(略)
>モジュール仕様については日本委員から、ICOTによって作成された
>ESP(Extended Self-contained Prolog)を以てその標準とする案が出されていたが、
>これは否決された。

**デフォルトの名無しさん** · 2017/03/08(水) 01:37:14.82

http://qiita.com/ShunIchikawa/items/6449f492dc38a7201162
pepperの頭脳がprologで書かれていたなんて

**デフォルトの名無しさん** · 2017/03/20(月) 14:40:29.09

さる(ねる).

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

**デフォルトの名無しさん** · 2017/03/21(火) 02:02:37.80

今のままでは、小学校のプログラミング教育にScratchが導入されてしまう。
Prologを推すことができるように、
小学生の目線で書いたPrologプログラムを増やそう。

**デフォルトの名無しさん** · 2017/03/21(火) 02:08:37.78

基本的な方針としては、
道具立てなく、現在の授業科目の中ですぐに利用できるプログラム言語で
あることを武器として、広めていく。
もちろん、環境整備は必要だし、Prologの言語仕様の一部変更も必要には
なるだろう。

**デフォルトの名無しさん** · 2017/03/25(土) 04:56:52.06

>>873
人工知能ブームで波及効果があるんじゃね？
でも読み書きしにくいから
Pythonみたいにメジャーにはならないと思うけど

**デフォルトの名無しさん** · 2017/03/26(日) 18:38:57.42

>>886
現在の深層学習は人間が結果に責任を持ちにくいというような欠陥があって、
それを補う部分の記述では必要。その部分では最有力ということではないか。

**887** · 2017/03/26(日) 18:41:31.41

訂正。
・・・・・・・
それを補う部分の記述が必要。その部分では最有力ということではないか。

**デフォルトの名無しさん** · 2017/03/27(月) 09:23:14.55

>>886
読み書きしにくいの意味が、データの入出力のことなら別だけれど
プログラムの読みやすさ、書きやすさの意味だとすると、
Prologはもっとも読みやすいプログラム言語のひとつではないか
書く方は、難しいという見方もできるだろうが

**デフォルトの名無しさん** · 2017/03/31(金) 12:48:26.56

>>887
その部分では関数型言語も手続型言語もオブジェクト指向が強調されたものでも記述できるが、その記述の簡潔さでは、Prologは一頭地抜けている

**デフォルトの名無しさん** · 2017/03/31(金) 16:20:13.33

>>890
そろそろ
「ニューラルネットワーク的AIを制御するためのPrologプログラミング」
というような本がほしい。密かにやっているような段階ではない。

**891** · 2017/03/31(金) 16:21:47.69

「ニューラルネットワーク的AIを統制するためのPrologプログラミング」かな。

**デフォルトの名無しさん** · 2017/04/09(日) 08:47:47.54

Emacsでプログラム書いてますか？設定の参考になるサイトとかないでしょうか

**デフォルトの名無しさん** · 2017/06/15(木) 07:05:22.75

Prologでデータベース foo/1 の引数値を集約するときに

?- findall(N,foo(N),L),sum_list(N,Sum).

というように書きます。これを

?- findall(Sum_1,(
findnsols(1000,N,foo(N),L1),
sum_list(L1,Sum_1)),L2),
sum_list(L2,Sum).

というように書くとスタックの消費を抑えることがてきます。

**デフォルトの名無しさん** · 2017/06/20(火) 18:05:00.63

>>892
AI的な課題のものでもよいし、そうでなくてもよいから
PythonとPrologの連携コード集がほしい

**デフォルトの名無しさん** · 2017/06/23(金) 08:01:15.35

そうそうProlog読み書きしにくいから
基本はPythonメインで
論理プログラムがハマるところに
Prolog使いたいよね

でも連携というかそもそも
Prolog自体の情報が少ない

**デフォルトの名無しさん** · 2017/06/25(日) 17:00:13.26

人工知能ということになるとPrologは述語論理を担うなどと大仰な
ことになるが、もっと単純に、
自分はこういうことを望む。
これこれのことはするな。
というように比較的単純なしかしどうしても欠かせない情報を
確実に表現するためのもの。Pythonよりさらに簡素な記述系を
最大限に使い込もう。

**デフォルトの名無しさん** · 2017/06/27(火) 11:15:02.78

実行系をさらにその上位で制御するという役割にPrologのようなプログラム言語は当てられてよいはずだが<
案外とそういうコードがない。GeneXusなどもそういう切り口を残すべきだったのだろうけれど、現在のところそうなっていない。

**デフォルトの名無しさん** · 2017/06/27(火) 22:09:52.04

Prologは宣言型なので
Pythonなどの命令型言語よりさらに高水準だから
システム最上位の制御にふさわしい……

って理屈は分かるけど
実際にはそういう使われ方で普及してないよね？

関数型言語よりもっと簡潔だけどもっと難しいんじゃ
やっぱ日常的に使いにくいんだと思う

**デフォルトの名無しさん** · 2017/07/02(日) 09:20:29.55

>>899
どこも使い難い点はないような

**デフォルトの名無しさん** · 2017/07/03(月) 05:36:37.05

>>900
それ、使い込んだ上での話ですか

**デフォルトの名無しさん** · 2017/07/03(月) 07:01:23.77

>>896
ディープラーニンングは一過性ではなく持続しそうだから今後益々
数値計算依存部分はPytho、シンボル依存部分はPrologの切り分けが
進む。メインはPrologではあるが、スクリプト的なものが多くなる。

**デフォルトの名無しさん** · 2017/08/02(水) 12:14:45.53

>>900
PrologとPythonなどとの連携部分はまだ課題が多い。
単に呼べるというのでは不十分で、「簡単にどのライブラリ間でもいじること無く呼べる」必要がある。
例えば、C++がいま一つ敬遠される理由はこの連携が弱い（ABIが乱立）からだし。
まあこの手の問題は、糊(glue)機能が比較的優れてるLispでも抱えてる問題ではあるが。

**デフォルトの名無しさん** · 2017/11/07(火) 17:33:56.45

904

**デフォルトの名無しさん** · 2017/11/07(火) 17:34:27.71

905

**デフォルトの名無しさん** · 2017/11/07(火) 17:34:59.61

906

**デフォルトの名無しさん** · 2017/11/07(火) 17:35:31.12

907

**デフォルトの名無しさん** · 2017/11/07(火) 17:36:01.37

908

**デフォルトの名無しさん** · 2017/11/07(火) 17:36:30.51

909

**デフォルトの名無しさん** · 2017/11/07(火) 17:37:00.33

910