【增量約束解答器】
英語翻譯：incrementalconstraintsolver
【辭書名稱】資訊與通信術語辭典
一系統其約束解答器係由一推理機每次給一個約束者，例如Prolog中所建之解答器可將新的約束加到已解答約束之初始為空的集合。
如果新的約束與已解答約束一致，它將被加到集合內。
如果它前後不一致，推理機會後向追蹤。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://aa.wsky.ink/) | Powered by Discuz! X3.1 |