用ocaml编写的逻辑程序
用ocaml编写的逻辑程序，可以实现formule clausale，和resolution...
逻辑程序技术资料
📦 资源总数：15
🔥 逻辑程序热门资料
查看全部15个资源 »visual prolog语言专题(可视化逻辑程序设计
visual prolog语言专题(可视化逻辑程序设计...
基于位串编码的遗传归纳逻辑程序设计
归纳逻辑程序设计是基于一阶逻辑的数据挖掘新方法。一阶规则挖掘是目标谓词和背景知识谓词对应的各种原子的复杂组合优化问题。该文根据Occam’s razor原理提出原子的位串编码，设计相应的遗传算子，基于...
基于位串编码的遗传归纳逻辑程序设计.pdf
资料->【C】嵌入系统->【C3】自动化控制->【1】控制算法->【遗传算法】->基于位串编码的遗传归纳逻辑程序设计.pdf...
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑
Goedel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑，引入了一个多态多类的类型系统和多种新的语言成分，支持抽象数据类型和模块化程序设计等技术，语言本身也具有很强的说明性语义。详细介绍了Goedel语言的类型系统及其构造，对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。...
📂 逻辑程序资料分类