頭版
隨機
附近
簽到
自定喜好
捐畀維基百科
關於維基百科
免責聲明
搵嘢
邏輯編程
其他文嘅版本
監視
改
(由
邏輯編程語言
跳轉過嚟)
邏輯編程
（
英文
：
logic programming
）係
編程範式
嘅一種，建基於
形式邏輯
（formal logic）。用邏輯編程
語言
寫嘅
電腦程式
會包含一柞
邏輯性
嘅陳述式，表達一啲
事實
同法則。
睇埋
編輯
語義網絡
邏輯編程
係
電算
楔位文
，你可以
編輯佢
充實內容。
