昨年オープンしたインターネット上のイフコンピュータのホームペ ージ (http://www.biz.isar.de/ifcomputer/)は、常に新しい情報の 提供に務めています。最近、制約論理を使用する例題が加わりました 。この例題では、ジョブショップスケジューリング、プロジェクト 計画を行なっています。 また、IF/Prologを使用して作られたアプリケーション紹介を充実させ ています。
皆様がお持ちのページ中で、IF/Prologを使用して作られたシステムを 紹介されていましたら、御一報下さい。リンクを張って広く紹介さ せて頂きます。