タグ

ブックマーク / zenn.dev/guregu (1)

  • Goで論理プログラミング

    どうも、Go信者のgureguです。今年初めて論理プログラミングをやってみて世界が変わりました。Go言語で論理プログラミングが出来るライブラリを紹介しようと思います。 ぼくのかんがえたさいきょのくみあわせ 課題: Go言語で書かれたソフトを拡張機能のようにカスタマイズしたい Go言語の特徴としては 制止的 コンパイル式 手続き型 標準ライブラリが優れている プラグインと言った拡張機能みたいな書き方は基的に出来ない Prologの特徴は 動的 インタプリタ式 論理プログラミング 標準ライブラリ(ISO述語)は最低限の機能しかない プラグインとかスクリプトとしての使い方は簡単に出来る この正反対の言語2つを組み合わせたら最強になります。それぞれのメリデメをカバーが出来ます。 ichiban/prolog ichiban/prologはYutaka IchibangaseさんによるGoで実装さ

    Goで論理プログラミング
    imyutaro
    imyutaro 2022/12/24
  • 1