柯林斯词典logic programming 1. N the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments 邏輯程序設計 返回 logic programming