logic programming 短语 逻辑程序设计法 释义与例句 n. 1. Programming with a paradigm that bases on formal logic 不可数 计算机 工程 数学 词汇关系 名词 同义词 1 prolog 上位词 3 programming computer programming programming language