邏輯編程

出自維基百科，自由嘅百科全書
跳去導覽 跳去搵嘢

邏輯編程（英文：logic programming）係編程範式嘅一種，建基於形式邏輯（formal logic）。用邏輯編程語言寫嘅電腦程式會包含一柞邏輯性嘅陳述式，表達一啲事實同法則。

睇埋[編輯]

Computer.svg  呢篇邏輯編程係一篇關於電算嘅楔位文章。你可以編輯呢版充實內容。
由「https://zh-yue.wikipedia.org/w/index.php?title=邏輯編程&oldid=1827901」收