逻辑型程序设计语言-软考在线

逻辑型程序设计语言


知识路径： > 嵌入式系统软件基础知识 > 嵌入式系统程序设计 > 嵌入式程序设计语言 > 程序设计语言的分类和特点 > 程序设计范型 >
相关知识点：4个

逻辑型语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的PROLOG。PROLOG代表Programming in Logic。PROLOG程序是一系列事实、数据对象或事实间的具体关系和规则的集合。通过查询操作把事实和规则输入数据库，用户通过输入查询来执行程序。在PROLOG中，关键操作是模式匹配，通过匹配一组变量与一个预先定义的模式并将该组变量赋给该模式来完成操作。以值集合S和T上的二元关系R为例，R实现后，可以询问：

.已知a和b，确定R（a，b）是否成立。

.已知a，求所有使R（a，y）成立的y。

.已知b，求所有使R（x，b）成立的x。

.求所有使R（x，y）成立的x和y。

逻辑型程序设计具有与传统的命令式程序设计完全不同的风格。PROLOG数据库中的事实和规则是一些Hore子句。Hore子句的形式为“P：-P₁，P₂，…，P_n.”，其中n≥0，P_i（1≤i≤n）为形如R_i（…）的断言，R_i是关系名。该子句表示规则：若P₁，P₂，…，P_n均为真（成立），则P为真。当n=0时，Hore子句变成“P.”，这样的子句称为事实。一旦有了事实与规则后，就可以提出询问。

PROLOG可以表达很强的推理功能，适用于编写自动定理证明、专家系统和自然语言理解等问题的程序。


	相关知识点：
	面向对象的程序设计语言函数式程序设计语言命令式程序设计语言程序设计范型

	软考在线指南
	优惠劵及余额
	在线支付
	修改密码
	下载及使用
	购买流程
	取消订单

	联系我们
	关于我们
	联系我们
	商务合作

旗下网站群

高级资格科目
信息系统项目管理师	系统分析师
系统架构设计师	网络规划设计师
系统规划与管理师
初级资格科目
程序员	网络管理员
信息处理技术员	信息系统运行管理员

中级资格科目
系统集成项目管理工程师	网络工程师
软件设计师	信息系统监理师
信息系统管理工程师	数据库系统工程师
多媒体应用设计师	软件评测师
嵌入式系统设计师	电子商务设计师
信息安全工程师

本网站所有产品设计（包括造型，颜色，图案，观感，文字，产品，内容），功能及其展示形式，均已受版权或产权保护。
任何公司及个人不得以任何方式复制部分或全部，违者将依法追究责任，特此声明。
本站部分内容来自互联网或由会员上传，版权归原作者所有。如有问题，请及时联系我们。

工作时间：9:00-20:00

客服

商务合作

客服邮箱service@rkpass.cn

京B2-20210865 | 京ICP备2020040059号-5 |