谓词演算
谓词演算技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
谓词演算 热门资料
查看全部 500 份 →用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理
用Prolog求解传教士和野人问题 复习经典谓词演算中的归结原理，掌握人工智能程序设计语言Prolog，理解通过搜索求解问题实现人工智能的思想。
2016-11-15
183
一种基于谓词执行优化技术的寄存器分配算法
· 摘要： 对采用谓词执行优化技术后的编译代码,为了更高效地进行寄存器分配,首先介绍了Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统;然后在其基础上,对传统寄存器分配算法进行改进,给出了一种建立精化干涉...
2024-06-11
9