The Decompilation Algorithm and Implementation of Compiled Prolog Clauses

Li Liang-Hang; Tzu Yun-gui

您当前的位置：

首页 >

文章列表页 >

The Decompilation Algorithm and Implementation of Compiled Prolog Clauses

更新时间：2025-12-08

- The Decompilation Algorithm and Implementation of Compiled Prolog Clauses
- Acta Electronica Sinica Issue 6, Pages: 43-49(1988)
- 作者机构：
  
  长沙工学院
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：1988
- 稿件说明：
移动端阅览
[1]李良良,慈云桂.编译型Prolog系统中的反编译算法及其实现[J].电子学报,1988(06):43-49.

Li Liang-Hang, Tzu Yun-gui. The Decompilation Algorithm and Implementation of Compiled Prolog Clauses[J]. Acta Electronica Sinica, 1988, (6): 43-49.
[1]李良良,慈云桂.编译型Prolog系统中的反编译算法及其实现[J].电子学报,1988(06):43-49. DOI：

Li Liang-Hang, Tzu Yun-gui. The Decompilation Algorithm and Implementation of Compiled Prolog Clauses[J]. Acta Electronica Sinica, 1988, (6): 43-49. DOI：

摘要

在编译型Prolog系统中

实现数据库操作的一个关键问题是如何快速地获得子句的数据形式。本文提出一种关于复杂子句的反编译实现方法

它是以子句的编译代码为输入

在一定的系统结构支撑条件下

动态地产生出相应子句的数据形式。与其它方法相比

反编译实现具有空间省、实现简洁的优点。

Abstract

Decompilation method is one of the major clause representations proposed to support database operations in compiler-based Prolog systems. An efficient implementation is presented in this paper

which allows a clause with sophisticated forms as in most of existing Prolog systems. The architectural supports are illustrated as well as the detailed decompilation procedures in Prolog.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

⁰