加权约束逻辑程序  

作　　者：韩雪平[1] 

机构地区：[1]河南职业技术学院,河南省郑州市450046

出　　处：《电子技术与软件工程》2015年第18期252-252,共1页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

摘　　要：大多数传统的程序设计语言本质上都是属于过程性语言(如PASCAL和C),需要在程序执行前详细规定运行步骤。而基于逻辑的计算机语言的出现(即逻辑程序设计语言),给某些逻辑问题提供了更有效的解决途径。本文首先简要介绍加权逻辑程序设计语言,然后经典的八皇后逻辑问题为例,说明逻辑程序的优势,最后展望逻辑程序的发展及其应用前景。

关 键 词：加权约束逻辑程序 smodels系统 高级程序设计语言 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]