跳去內容

邏輯編程

出自維基百科，自由嘅百科全書

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

睇埋

[編輯]
 邏輯編程係電算楔位文，你可以編輯佢充實內容。
由「https://zh-yue.wikipedia.org/w/index.php?title=邏輯編程&oldid=1827901」收