t_wの輪郭

https://www.jstage.jst.go.jp/article/jsise/30/2/30_139/_article/-char/ja/

https://github.com/SWI-Prolog/npm-swipl-wasm

• 課題感
  • Prologだと個体と述語に名前をつけないといけない
  • 「名前」は異なる個体を指示したいにも関わらず衝突する
• 解決策
  • 単語ベクトルや、文章ベクトルを個体や述語の名前として扱う
• 余談
  • Prologの演算で得られたベクトルをLLMにぶち込めたら面白そう
  • Prologプログラムの実行で得られたベクトルをNNで自然言語に翻訳できると面白そう

aRbをProlog的に考えてみる。
Rb(a)と表すことができる。つまり、鳥である(鳩) のようになる。
bを主語化すればR(a,b)と表すことができる。すなわち、である(鳩,鳥) となる。、
Rを主語化すればX(a,R,b)と表すことができる。つまり、X(鳩,である,鳥) となる。

このXが何者なのかはわからない。命題？文？

Prologだと6行でクイックソートがかけるのヤバすぎる。

qsort([], []).
qsort([X], [X]).
qsort([X | L], L1) :- separate(X, L, UpperList, LowerList), qsort(UpperList, UpperListSorted), qsort(LowerList, LowerListSorted), flatten([LowerListSorted, [X], UpperListSorted], L1).
separate(X, [], [], []).
separate(X, [Y | L], [Y | UpperList], LowerList) :- X =< Y, separate(X ,L, UpperList, LowerList).
separate(X, [Y | L], UpperList, [Y | LowerList]) :- X > Y, separate(X ,L, UpperList, LowerList).

memberを使えばseparateをもう1行減らせそう。と思ったが、上手くいかなかった。

Prologだと4行のコードでソート作れるのヤバすぎる。

% 空リストは昇順
ordered([]).
% 要素が一つのリストは昇順
ordered([_]).  
% 先頭2つの要素が昇順 かつ 2番目以降の要素が昇順のリストは昇順
ordered([X, Y|T]) :- X =< Y, ordered([Y|T]).
% 全順列のうち、昇順になっているものは、ソートされている
mysort(L, L1) :- permutation(L, L1), ordered(L1).

Prologにニューラルネットワーク述語とかいうのがあってビビる。

文章からのPrologプログラムの自動生成を夢見ていたけど、PrologがZen過ぎてキツそう。

今日Prologを久々にやってたたんだけど、やっぱりPrologは「Zen」って感じする。

悟ると超短いコードで問題が解けるけど、悟れなければ何も得られない、みたいな。

自然言語からPrologのプログラム生成したい

https://www.amazon.co.jp/法律家のためのコンピュータ利用法―論理プログラミング入門-加賀山-茂/dp/4641075417/ref=cm_cr_arp_mb_bdcrb_top?ie=UTF8

https://zenn.dev/guregu/articles/b35a392e1fb8ff

http://bitlaw-jp.github.io/logicon-system/

わたしの中でProlog（というか述語論理）が復権しそうな気配を見せている。

GraphQL的なAPI記述言語としてなんかこう、、、やってけませんかね。

形式言語をよく知らずにすげー適当なことを言ってみる