AT&Tは、通信ネットワーク設備とスイッチの不具合を早急に検知し修理を行う大規模な包括ネットワーク管理システム（TNM)を開発しました。 このシステムを使って、ネットワーク警告がネットワークの現在の欠陥を包括的な図式を作りあげるために分析されます。
主要な通信のハブセンターでは、電話線ネットワークの保守を制御するオペレータが何人もいますが、警告メッセージが一時間に15000回と多いために、オペレータはスクリーンの上を現れる情報の流れについていくことができません。この問題を解決するために、イベント相関エキスパートパッケージ（ECXpert)が開発され、TNM製品群に取り入れられました。ECXpertは警告の解釈を半自動的に行い、オペレーターが重大なネットワークの欠陥に集中できるようにします。
ECXpertは、イベント相関の手法を利用して、現実の状況をモデル化します。イベント（この場合ネットワークの欠陥）が生じた際、イベント間の依存性を表現するツリーが構築されます。ネットワークの欠陥の本当の原因となるイベントの直接的な結果として別のイベントが引き起こされと決定されることもあります。イベントの相関関係をとることにより、主要な問題が浮き彫りにされ、オペレーターの前のスクリーンにより優先度の高い問題として表示されます。これにより、より速く修理員を送り込み、問題がより深刻になる前に解決に当たることができるようになります。
ECXpertは、C++ とIF/Prologのコードを組み合わせ、オブジェクト指向の設計とPrologのリーズニングとメタ言語的操作の機能を利用しています。TNMのユーザ（顧客は、個々の通信ネットワークの必要性に合わせてルールをカスタマイズします。その後、ルールはコンパイルされ、ECXpert上で進行中のイベントとともに使用されます。イベントシミュレーションと相関により、ネットワーク欠陥に高度な観点が提供されます。
TNMは、一日24時間、毎日使用されます。IF/Prologの高度なガーベッジコレクション機能は、このようなリアルタイムの継続的な作業環境に特に適しています。安定性が非常に重要になるので、 TNM はAT&Tの耐障害性スターサーバーマシンを使用しています。
このシステムは、現在アメリカ合衆国の主要な通信会社数社でインストールされていますが、全世界で販売されています。ダウンタイムや保守のコストを考慮すると、稼働中の各ノードで、年間50万ドルの節約をしていると見積もられています。
AT&T のスターサーバー UNIXマシンおよびその端末
IF/Prolog, C++.