【邏輯變數】
<P align=center><STRONG><FONT size=5>【<FONT color=red>邏輯變數</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：logicvariable</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>為邏輯程式設計語言中的變數，其起始值並未定義（亦稱未約束（unbound））但其於執行時，經統一（unification）而約束於一值。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>例如一個邏輯子句如下：happy（X）：-exam（X，微積分），目前的目標為happy（張三），則邏輯變數X被固定成為張三，而產生新的目標exam（張三，微積分）。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]