翔泳社では、「独習」「徹底入門」「スラスラわかる」「絵で見てわかる」「一年生」などの人気シリーズをはじめ、言語や開発手法、最新技術を解説した書籍を多数手がけています。プロジェクトマネジメントやチームビルティングといった管理職向けの ...

論理型言語として知られるPrologについて学ぶシリーズ。初歩のPrologプログラミングについてステップ・バイ・ステップで触れていきます。前回はSWI-Prologを用いて、事実の記述についていくつかプログラムを試してみました。今回は、後編として、規則の記述 ...

color_of_fruit(Fruit, Color) :- fruit_color(Fruit, Color). % Example queries to test the program % ?- color_of_fruit(apple, Color). % ?- color_of_fruit(Fruit, yellow).

論理型言語として知られるPrologについて学びましょう。前回はSWI-PrologのインストールとProlog言語の基礎知識について紹介しました。今回は、初歩のPrologプログラミングについてステップ・バイ・ステップで触れてみましょう。ゆっくりと進めていきます。

Prologのプログラムの論理式を否定します。 さらに、含意を論理和と否定のかたち $ (H~\to~G) \Leftrightarrow (\lnot~H~\lor~G) $ にします。 すると、ホーン節とゴール節の否定を連言になります。

官民創生の人工知能研究はムダじゃなかった！ 今からおよそ30年も前の1982年。日本の通商産業省 （現在の経済産業省） は、 ICOT （財団法人 新世代コンピュータ開発機構） を設立し、 世界に先駆けて人工知能 （AI:Artificial Intelligence） を実現する第5世代 ...