LISP 知識表現と推論(1) -知識情報処理の歴史と知識を表現する言語とProlog デジタルトランスフォーメーション(DX)、人工知能(AI)タスクに活用される知識情報処理の歴史と知識を表現する言語とPrologと述語論理 2022.01.03 LISPprologSymbolic Logicエキスパートシステム:expertsystem検索技術:Search Technology