【邏輯變數】
英語翻譯：logicvariable
【辭書名稱】資訊與通信術語辭典
為邏輯程式設計語言中的變數，其起始值並未定義（亦稱未約束（unbound））但其於執行時，經統一（unification）而約束於一值。
例如一個邏輯子句如下：happy（X）：-exam（X，微積分），目前的目標為happy（張三），則邏輯變數X被固定成為張三，而產生新的目標exam（張三，微積分）。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://aa.wsky.ink/) | Powered by Discuz! X3.1 |