邏輯編程

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

語義網絡
編程範式