分類:邏輯編程

邏輯編程 是研究用計算機程序來實現邏輯。