イギリスのWoodrow MilliamグループのBacon and Woodrow (PFA System Ltd)では、複雑でしばしば変更される年金制度に対応する ために2つの知識ベースシステムを開発し、顧客の会社の年金管理 のために使用しています。
上記のシステムのうちのひとつ「年金基金管理のための知識ベース 計算システム」は、年金制度に応じて社員に支払われる年金の算定を 行なうシステムです。
もう一つのシステム「利益ツリー」は、顧客の会社の年金制度を評価 するためのシステムです。支払われた基金で年金の支払は可能なのか どうか等、3年の周期で評価をします。
このシステムは、IF/Prolog、C、OracleおよびInformixデータベースを 使用して実現されています。
Bacon and Woodrowでは、7年に渡ってこのシステムを使用して、英国の 100のトップ企業のうち、30企業の年金管理をしています。 (The IF/Prolog Newsbrief 95-06)