邏輯編程

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