Bacon and Woodrow (PFA Systems Ltd), Teil der weltweit agierenden Woodrow Milliman Gruppe, setzte IF/Prolog in zwei strategischen, wissensbasierten Systemen ein. Beide betreffen die komplexe und sich stetig ändernden Kalkulationsschemen für die Pensionskassen großer Firmen in England.

Das "Wissensbasierte Kalkulationssystem" wurde für die Verwaltung von Pensionskassen erstellt und spiegelt die präzisen Regeln wider, nach denen die Kalkulation der Pensionskassen jedes einzelnen Klienten erstellt werden.

Das zweite System gibt den Kunden die Möglichkeit, individuelle Pensionszusagen zu konfigurieren und den Mitarbeitern vorzustellen.

Diese beiden Systeme haben B&W an die Spitze der Systemanbieter für Pensionskassen gebracht. Das System ist bei 30 der Top 100 Firmen in England im Einsatz.

Software: IF/Prolog, C, Oracle, Informix

Hardware: UNIX Rechner