論理型言語として知られるPrologについて学ぶシリーズ。いよいよ、Prologプログラミングの基礎をステップ・バイ・ステップで身につけていきましょう。前回までで、SWI-Prologを用いて、事実と規則の記述について触れてみました。今回は、基礎固めの前編とし ...

CHR-Prolog化することのメリットはLLMでユーザーが普通に日本語を記述すればモデル化できるところにあるでしょ？ すると複雑に見えるSCM問題もコホモロジーをCHR-Prolog風に意識すれば、自然に「書ける」ってことだよ。 これが自動的にコホモロジー的に正しい ...

OllamaLLM을 사용하여 사용자의 자연어 질문을 Prolog 쿼리로 변환하고 실행 결과를 반환합니다. 생성된 Prolog 쿼리를 prolog/query.pl ...

LISPやPrologを使って基本的な知識情報処理(主にグラフ探索)を行いましょう！ 当ドキュメントは初歩的なプログラミングの ...