https://github.com/SWI-Prolog/npm-swipl-wasm
Prolog
2023/3/29 13:47:00
あれ
2023/9/23 12:25:00
わたしの中でProlog（というか述語論理）が復権しそうな気配を見せている。
GraphQL的なAPI記述言語としてなんかこう、、、やってけませんかね。
形式言語ってPrologっぽい
2023/3/29 13:47:00
形式言語をよく知らずにすげー適当なことを言ってみる
あれ
2024/6/2 14:26:00
- 課題感
- Prologだと個体と述語に名前をつけないといけない
- 「名前」は異なる個体を指示したいにも関わらず衝突する
- 解決策
- 単語ベクトルや、文章ベクトルを個体や述語の名前として扱う
- 余談
- Prologの演算で得られたベクトルをLLMにぶち込めたら面白そう
- Prologプログラムの実行で得られたベクトルをNNで自然言語に翻訳できると面白そう