PROLOG 逻辑程序设计的结构优化  

Optimizing Configuration of theROLOG Logic Programming

作　　者：段鹰[1,2] 段文泽[1,2] 

机构地区：[1]重庆大学机械学院 [2]重庆建筑大学机电学院

出　　处：《重庆建筑大学学报》1998年第6期93-99,104,共8页Journal of Chongqing Jianzhu University

摘　　要：以减少存储空间消耗为主要目标，讨论逻辑程序设计的结构优化。分析了程序基本结构及其优化方法，提出了一种强制失败－数据旁路结构，作为已有优化方法的补充。由此综合出一种全局结构优化模式，用于机器翻译试验工作，效果显著。This paper discusses the optimizing configuration of the Logic Programming,taking the reduction of memory space consumption as the main goal.The elementary confingurations and their optimization are studied.As a supplement of the existing methods,a optimal configuration named“forced fail-data bypass'is advanced with the result of synthesizing an optimal global configuration, which is used in machine translation work and a good effect is obtained.

关 键 词：逻辑程序设计 程序结构优化 人工智能 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]