【增量約束解答器】

豐碩

【增量約束解答器】

 

英語翻譯：incrementalconstraintsolver

 

【辭書名稱】資訊與通信術語辭典

 

一系統其約束解答器係由一推理機每次給一個約束者，例如Prolog中所建之解答器可將新的約束加到已解答約束之初始為空的集合。

 

如果新的約束與已解答約束一致，它將被加到集合內。

 

如果它前後不一致，推理機會後向追蹤。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary