重寫邏輯- 維基百科，自由的百科全書 - Wikipedia

重寫邏輯 維基百科，自由的百科全書 跳至導覽 跳至搜尋 此條目需要精通或熟悉相關主題的編者參與及協助編輯。

(2011年1月5日)請邀請適合的人士改善本條目。

更多的細節與詳情請參見討論頁。

重寫邏輯是一種對絕大多數程式語言和系統進行規範描述的計算機邏輯。

重寫邏輯能把目標邏輯的抽象語法表示為代數結構。

利用重寫規則，目標邏輯的推理規則可以被描述出來。

[1] 重寫邏輯中的語法和結構化公理都由用戶自己定義，這使其變得極為簡