IF/Prolog 5.0の制約処理パッケージは、航空、列車の動的車両スケジューリングや生産計画、乗務員スケジューリングなどのほぼすべての資源配置課題解決に使われているプログラミングツールです。

Prolog の機能を利用して、明確で、精密で、宣言的なプログラムを 書くことができ、容易に変更、拡張を行い、段階的に問題のより深い面まで扱うこと も可能です。

以下に、現実世界での資源割り当て問題を解決するに当たって使用でき るプログラミング技術、手法を紹介します。