MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
イスラエルのEl-AIエアラインでは、航空機機体を最適の駐機場へ配置するためのスケジューリングシステムを使用しています。
このシステムは、運転コストの節約と高い空港所有の駐機場使用料を削減するために開発されました。El-AIは、10以上の異なる種類の駐機場を所有しています。駐機場にはある種の機体のみに合うものやある種の保守作業のみに合うものがあり、乗客の乗り降りに関する制約、牽引の可能性などがあります。これらの条件を考慮して、できるだけ自社所有の駐機場を有効利用できるよう駐機場は選択されます。このシステムはEl-AIの運航スケジューリングシステムとオンラインで接続され、飛行スケジュールの変更に従いリアルタイムで配置変更もされます。
このシステムは、IBM Haifa Research Labが
WindowsNT上でIF/Prologの制約処理パッケージを使用して開発し、すでに6ヶ月以上実際に稼動しています。
| 
