【增量約束解答器】
<P align=center><STRONG><FONT size=5>【<FONT color=red>增量約束解答器</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：incrementalconstraintsolver</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>一系統其約束解答器係由一推理機每次給一個約束者，例如Prolog中所建之解答器可將新的約束加到已解答約束之初始為空的集合。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>如果新的約束與已解答約束一致，它將被加到集合內。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>如果它前後不一致，推理機會後向追蹤。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]