首页> 外文OA文献 >Unification-free Execution of Well-moded and Well-typed Prolog Programs

【2h】

Unification-free Execution of Well-moded and Well-typed Prolog Programs

机译：格式良好且类型良好的Prolog程序的无统一执行

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Krishna Rao; R. K. Shyamasundar;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism [J] . Sofie Verbaeten, Danny De Schreye Applicable algebra in engineering, communication and computing . 2001,第1a2期

机译：在表执行机制下终止简单修改的类型良好的逻辑程序
2. Parallel Execution of Prolog Programs: A Survey [J] . Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali ACM Transactions on Programming Languages and Systems . 2001,第4期

机译：Prolog程序的并行执行：调查
3. Semantics of well-moded input-consuming logic programs [J] . Annalisa Bossi, Sandro Etalle, Sabina Rossi Computer languages . 2000,第1期

机译：修改良好的输入消耗逻辑程序的语义
4. Design and performance measurements of an execution model for the parallel processing of Prolog programs [C] . Dong Wang, Kobayashi, H. . 2001

机译：Prolog程序并行处理的执行模型的设计和性能测量
5. Mode-Sensitive Type Analysis for Prolog Programs. [D] . Hadjichristodoulou, Spyros. 2014

机译：Prolog程序的模式敏感类型分析。
6. A Calpain-Like Protein Is Involved in the Execution Phase of Programmed Cell Death of Entamoeba histolytica [O] . Tania Domínguez-Fernández, Mario Alberto Rodríguez, Virginia Sánchez Monroy, 2018

机译：类似于钙蛋白酶的蛋白参与溶组织变形虫的程序性细胞死亡的执行阶段。
7. Unification-free execution of TYPOL programs by semantic attribute evaluation [O] . Attali Isabelle, Franchi-Zannettacci Paul 1988

机译：通过语义属性评估实现TYPOL程序的无统一执行

Unification-free Execution of Well-moded and Well-typed Prolog Programs

著录项

引文网络

相似文献

相关主题

期刊订阅