邏輯編程

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

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