論理プログラミング
logic programming
数理論理学
述語論理
非単調論理
導出原理
ホーン節
Prolog
Planner
第五世代コンピュータ計画
https://ja.wikipedia.org/wiki/論理プログラミング