http://www.itfrontier.co.jp/solution/web/genexus/index.html GeneXusは推論エンジン（Prolog）ベースの仕様解析技術により実現方法(How)を推論し、知識ベースとして蓄積します。さらに、この知識ベースから様々なIT環境に応じたシステムの自動生成が可能…

http://www.atmarkit.co.jp/aig/04biz/brms.html ビジネスルールは「もし〜ならば、〜とする（しない）」というプロダクションルールの形で定義される。 (中略) BRMSは自然言語でルールの登録・変更ができ、矛盾したルールを排除する仕組みを持つなど、一般…