微信扫一扫联系客服
微信扫描二维码
进入报告厅H5
关注报告厅公众号
98
Prolog has a declarative style. A predicate definition includes both the input and output parameters, and it allows a programmer to define a desired result without being concerned about the detailed instructions of how it is to be computed. Such a declarative language offers a solution to the software crisis, because it is shorter and more concise, more powerful and understandable than present-day languages. Logic highlights novel aspects of programming, namely using the same program to compute a relation and its inverse, and supporting deductive retrieval of informa tion.
Prolog具有声明式风格。谓词定义包括输入和输出参数，它允许程序员定义所需的结果，而不必关心如何计算结果的详细说明。这种声明性语言为解决软件危机提供了一个解决方案，因为它比现在的语言更短、更简洁、更强大、更容易理解。逻辑突出了编程的新方面，即使用同一个程序计算关系及其逆，并支持信息的演绎检索。
相关文库
计算机行业深度报告：DeepSeek系列报告之AI+医疗
2481
类型：行研
上传时间:2025-02
标签：计算机、DeepSeek、AI+医疗)
语言：中文
金额：5积分
电子书-Linux是如何工作的How Linux Works（英）
1875
类型：电子书
上传时间:2022-04
标签：计算机、操作系统、内部结构)
语言：英文
金额：5积分
《网络是怎样连接的》-75页读书笔记
1640
类型：读书笔记
上传时间:2025-01
标签：网络、计算机、科普)
语言：中文
金额：9.9元
Agent有望定义万亿劳动力市场
1575
类型：行研
上传时间:2025-06
标签：计算机、Agent、劳动力)
语言：中文
金额：5积分
《面向初学者的机器学习》Machine Learning For Absolute Beginners
1481
类型：电子书
上传时间:2021-05
标签：机器学习、计算机、算法)
语言：英文
金额：5积分
电子书-用FastAPI构建数据科学应用：用Python开发、管理和部署高效的机器学习应用程序（英）
1459
类型：电子书
上传时间:2022-03
标签：计算机、数据库、人脸检测系统)
语言：英文
金额：5积分
电子书-软件架构师手册：通过实施有效的架构概念成为成功的软件架构师（英）
1412
类型：电子书
上传时间:2021-11
标签：计算机、软件架构 、软件)
语言：英文
金额：5积分
电子书-DAMA数据管理知识体系指南（DAMA DMBOK）（英）
1380
类型：电子书
上传时间:2022-03
标签：计算机、数据库、数据管理)
语言：英文
金额：5积分
电子书-高维数据统计：方法、理论与应用（英）
1263
类型：电子书
上传时间:2021-10
标签：计算机、统计学、数据统计)
语言：英文
金额：5积分
康波周期复盘：康波周期与中国式现代化-20230726-16页
1152
类型：策略
上传时间:2023-08
标签：汽车、计算机)
语言：中文
金额：5积分
积分充值
30积分
6.00元
90积分
18.00元
150+8积分
30.00元
340+20积分
68.00元
640+50积分
128.00元
990+70积分
198.00元
1640+140积分
328.00元
微信支付
余额支付
积分充值
应付金额:
0 元
请登录，再发表你的看法
登录/注册