逻辑型语言相关论文
本文提出了一种新的纯逻辑式子向型程序设计语言,文中给出了语言的语法,非形式语义,子句的过程解释和基于约束归强的推理系统,对该语言......
HEST是一个汉化编译型集成式的专家系统工具,在IBMPC及其兼容机上运行.它提供的逻辑/函数型通用知识表达语言,是融合了函数程序设......