逻辑程序设计

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