Prolog

2020年代でも環境構築できる論理型言語のメモ 2020年代でも使えそうな論理型言語のメモ． 論理型言語自体アカデミック向けだったり最近の人工知能はディープニューラル系が多いので情報が少ない． このあたりhttp://minikanren.org/#papers を見ると，最近では"Program Synthesis"というコードの自動生成（Quin生成）の分野では活躍してるぽい． 結論から列挙すると以下が良さげ． SWI-Prolog(+python+pyswip) Java + Clojure + core.logic Python + Hy + miniKanrenライブラリ Racke…

2024年3月22日に『PPL 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。 hey.connpass.com なぜPPLに協賛したのか、協賛してみてどうだったのか 藤村：まず自己紹介から始めます。STORES でCTOをやっている藤村です。PPLには今回初めて参加しました。 笹田：笹田です。プログラミング言語 Rubyのインタープリタの開発を STORES でフルタイムでやっています。プログラミング言語に関する学会ということで、PPLは3回目の出席でした。今回は STORES に転職したというのもあって、顔見せも兼ねて発表させていただきま…

理想的な並行論理プログラミング言語 「論理プログラミング」、「論理計算と随伴関手」、「半環上のフラクタル代数」、「フラクタル代数言語 Fractal」、「一階述語論理」などの内容です。以下のようなことを考察します。 Prolog のプログラムを「プログラムを変換するもの」と考える 変換されたものを (再帰の深さ のものを ) ある の結果が真ならば証明できるか？ これを使って無限に実行できるか？ これを考えるために Prolog のプログラムを多項式に対応させることができるかどうかを考えます。多項式については答えてくれるようなので ChatGPT で質問してみます。以下は入力とそれに対する答え…

並行論理プログラミングと半環 「論理プログラミング」では PLP と PLP+ というプログラミング言語を考えています。PLP は「Prolog について」のところで書いたような理想的な並行 Prolog です。PLP+ はこれの無限に実行できるバージョンなのですが、PLP が定義されていないので PLP+ も定義されていません。PLP+ はいったい何なのかというと、「素数を登録するプログラム」のようなものが書けるように Prolog を拡張したプログラミング言語を目指したものです。以下のような問題を考えます。 PLP は定義できるか PLP で論理式が証明できるかどうかを調べることができるか…

Prolog について Prolog について調査します。以下はChatGPTでいろいろ聞いてみたことの答えです。Prolog の本はあまり見つからないのでこの情報は役立ちます。 プログラミング言語 Prolog の詳しい仕様を教えてください Prolog（Programming in Logic）は、論理プログラミング言語の一種であり、特に人工知能や知識表現などの分野で広く使用されています。以下に Prolog の主な特徴や仕様をいくつか挙げてみましょう。 論理プログラミングの基盤: Prolog は論理プログラミングの基本原理に基づいています。これは、プログラムが事実と規則の集合で構成され…

F# と Haskell のサンプル F# と Haskell でもサンプルを書いてもらいます。この理由は、このようなプログラムは F# では書くことができるが Prolog ではできないという予想で、Prolog にどのような機能を追加すればできるかをこのブログでは調べていたためです。しかし調査が途中で止まっているので結論は出ていません。ここではどのような問題点があったのかを調べていきます。以下のように入力しました。 このプログラムを F# で書いてください 以下の答えを得ました。 以下は、F#で素数登録システムを実装する例です。 // 素数かどうかを判定する関数 let rec isPri…

Syntax Highlighting code snippets with Prism and the Custom Highlight API 記事は上記記事を意訳したものです。 ※当ブログでの翻訳記事は元サイト様に許可を得て掲載しています。 ウェブ上の構文ハイライトの一般的な仕組みは、すべてのトークンを要素で囲み、適切なクラスを割り当て、CSSを使って色付けすることです。 CSS Custom Highlight APIのおかげで、DOMツリーにを散りばめてカラー情報を追加するステップを省略できます。 Custom Highlight APIの基礎 ブラウザサポート 静的コードスニペット…

Prolog のサンプル いったん Prolog で書いてもらうことにします。以下のように入力しました。 このプログラムを Prolog で書いてください 以下は回答です。 以下は、Prologで素数登録システムを実装するためのコード例です。このコードは、Prologの論理プログラミング言語で書かれています。 % 素数かどうかを判定する述語 is_prime(2). is_prime(3). is_prime(P) :- P > 3, P mod 2 =\= 0, \+ has_factor(P, 3). % 素数の検証に使用するヘルパー述語 has_factor(N, Factor) :- …

1. AIの進化の歴史 AI（人工知能）の進化は、1950年代にアラン・チューリングやジョン・マッカーシーなどの研究者によって始まりました。初期のAIのアプローチは、シンボリックAIとして知られており、人間の論理的な推論や問題解決能力を模倣しようとしました。この時期の代表的なプログラミング言語としては、LISPやPrologがあります。 しかし、シンボリックAIは計算能力の制約や知識表現の複雑さにより、限界がありました。その後、1980年代には専門家システムや知識ベースのアプローチが広く採用されましたが、実用的な成功例は限られていました。 2000年代に入り、機械学習の発展がAIの進化を大きく…

友人のライブハウスの多角化でのマジックショー、当初はこの新春から開催の予定だったのです。。準備に余裕があったので、３回前倒しして昨年12、11、10月と実施しました。。 実際やってみると、毎回、何かしら考えていなかったことがあるので、それをフィードバックして改善しながら進めています。。見て頂きやすい様に机と座席の配置は、３パターン必要そうで、ステージの回、クロースアップの回、混在の回。。混在の時が一番多そうですが、ステージの前に机を２つ置くセッティングです。。次回からは、開場前に、もう少しきちんとミーティングしよう、などなど。。 メインのマジシャンの方に、少し喋って頂いてお人柄が見えた方がいい…

最近、学習ができる生成AIを手に入れた。 いろんな生成AIに詳しいわけではないので、他の生成AIとの機能比較はわからないんだけど、カスタマイズできるといっているものなのだろうか。 で、そのAIくん、学習セットを３つまで覚えさせることができる。（覚えさせることができるセットに制限はないけど、問い合わせるときに有効にできる学習セットの上限が３つ）。 生成AIでの情報漏洩を気にされることがあるけど、実際に使おうと考えてみると、意外と学習させるものは公開情報ばかり。 最初に問い合わせると、「一般的には・・・」と返していた回答が、学習させると、「・・・ガイドラインの規定では、・・・・」と回答が変わる。 …

いつも好きなサイケやプログレの同じアルバム（バンドやアーティスト）ばかり聴いているんで、趣向を変えて最近はあまり聴いたことがないのを聴いてるっす。『EIN HALBES DOPPELALBUM - WERNER PIRCHNER』ってのを聴いたら、すごい音楽が待ってるから。これ聴かないとこの辺りを歩けなくなるかも。誰かは言えないんだけど、世界的ミュージシャンだから。そんなにすごい方なんですか？ フランク・ザッパ？それは言い過ぎ。そこまでではない。けど、音楽界の闇みたいな感じを受けるんでメモ。 標題：（保留） 分類：音楽＞洋楽＞ロック / ジャズ＞アヴァンギャルド / エクスペリメンタル ■題名…

関連記事 概要 試してみる 参考情報 Goのおすすめ書籍 関連記事 GitHub - devlights/blog-summary: ブログ「いろいろ備忘録日記」のまとめ 概要 以下、自分用のメモです。よく忘れるのでここにメモメモ。。。 たまーに、Go側の処理をsoファイルにして、他の言語（Pythonとか）から呼びたい場合があったりします。 その際の手順をいつも忘れるので、ここにメモメモ。。。 試してみる まずは公開する関数を定義しておきます。パッケージはmainじゃないと多分ダメです。 Cパッケージをインポートして、公開関数に //export 関数名 を付与します。 package ma…