逻辑程序设计的词语属性

逻辑程序设计的百科含义

逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。