例題プログラム

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

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

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

工場での作業スケジューリングその１

工場での作業行程スケジューリング問題は、複数の機械で複数の異なる作業を行う環境において常に必要です。...

工場作業スケジューリングその２

農地管理

農夫が畑に小麦あるいはとうもろこしを植えるかを選択します。...

スミス氏パズル

夫妻と3人の子共がいるスミス家の人達は、訪問をしたいと考えてい...

投資計画

The treasurer has forecast the cash needs for the next 5 years....

プロジェクト計画

これは、単純なプロジェクトに関するスケジューリングです。...

Send More Money

有限領域制約の例として、次の古典的な問題を考えてみましょう。...