logic programming (ロジック プログラミング)

ブール ロジックを使って、システム内に存在する問題に関するファクトとルールの表現方法を制御するプログラミング パラダイムです。