短语词组短語parallel constraint logic programming 竝行約束邏輯程序設計constraint logic programming clp 約束邏輯程序設計extended constraint logic programming 約束邏輯程序設計logic constraint programming 約束邏輯程序 返回 constraint logic programming