松下精工株式会社は、イフコンピュータに、エアハンドリングユニット設計システムのIF/Prologへの移植を発注しました。
松下精工では、設計業務基幹システムのダウンサイジングの一貫として 上記の処理系をIBMの汎用機からIBM UNIX サーバーに移行しました。 それに伴って、プログラムのIBM汎用機用PrologからISO Prolog標準準拠のIF/Prolog への移植が必要となりました。
このシステムは、エアハンドリング空調機ユニットを Prologのプログラムで自動設計するもので、出力はCADに送られて仕上げられます。