web-dev-qa-db-ja.com

datalog

フォワードチェーンとバックワードチェーン