分類:邏輯編程

邏輯編程 是研究用電腦程式來實現邏輯。