並列制約論理プログラミングシステム GDCC