柯林斯词典logic programming 1. N the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments 逻辑程序设计 返回 logic programming