排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
深入研究了Prolog抽象分析,并将其应用到Prolog的并行化编译开发中.用这一技术开发出的模型是采用动静态结合的方式,它改进了DeGroot算法,在一定程度上避免了并行性的损失。这是一种动态开销小,并行性程度高,无需增加用户负担的新方法,利用Quin-tusProlog在Sun3/260上实现了一开发逻辑程序中与并行性的静态预编译系统。 相似文献
2.
定义了函数式语言SFL,给出了由SFL到PROLOG的一般性转换方法,设计并实现了自动转换系统. 相似文献
3.
本文讨论了代数规范说明技术及其到逻辑程序设计语言PROLOG的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ASL:然后介绍了由ASL描述的规格说明到PROLOG转换 的形式化方法;在这种方法的基础上设计了一个自动转换系统,该系统接受ASL语言描述的规格说明,通过转换规则,逐步将此规格说明转换成可执行的PROLOG语言程序。 相似文献
1