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

睇埋