概要

並列制約論理プログラミング言語GDCCは問題解決のための高級言語であり、
論理プログラミングのパラダイムと制約プログラミングのパラダイムを並列環境
下で融合させた、高水準で、柔軟かつ効率的な言語である。本デモンストレーショ
ンにおいては、GDCCの様々な問題領域における有効性を示すため、いくつか
の試作システムを紹介する。

デモンストレーション

1)GDCC
    GDCCの基本的な特徴を、簡単な例を用いて示す。
2)ハンドリング・ロボット設計支援システム
    GDCCの強力さと柔軟性を設計の領域を例題として用いて示す。
3)GDCCによる階層制約の並列評価
    階層制約の並列評価系をGDCCを用いて記述することにより、GDCC
    の強力さと効率の良さを示す。
4)ボロノイ図
    GDCCの高水準さと柔軟性を計算幾何学の領域を例題として用いて示
    す。




GDCC システム


					- 101 -