目标独立的Prolog程序路径依赖分析语义

在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度.当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析.为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语文,并证明了LT语义相对于操作语义的正确性.LT语义可作为目标独立的Prolog程序路径依赖分析的基础.     

一个自动编译系统ACS

本文介绍一个自动编译系统ACS。对某上下文无关文法语言,写出其词法描述、语法描述、语义描述和目标机描述。ACS系统可以自动生成此语言在目标机上的编译程序。ACS系统由六个子模块组成:词法自动生成器、语法自动生成器、语义自动生成器、中间语言转换程序、优化程序和代码自动生成器。本文将分别讨论这六个子模块的原理和功能,还将给出用ACS系统生成的一个编译程序实例—Mini_Ada编译程序。     

LALR(1)语法分析器的自动生成

文章简单介绍了语法分析器自动生成的原理和技术，根据语法分析器的生成过程，介绍了实用的语法分析器的自动生成器各个部件及其实现的详细过程。     

Prolog与Delphi的混合编程

Prolog/Amzi!Prolog的语言特点,分析了Delphi与Amzi!Prolog的编程接口,给出一个Delphi与prolog的混合编程实例.     

基于C程序的控制流图生成器的设计和实现

在对控制流图生成算法进行深入研究的基础上,基于分析器自动生成工具ANTLR,利用语法制导翻译技术,构造具有自动生成程序控制流图功能的语法分析器,并最后对实验生成的控制流图进行可视化输出。     

基于攻击模式的攻击图自动生成方法研究

基于攻击图的网络漏洞分析是加强网络安全的重要方法。然而,当研究大规模网络时,怎样提高攻击图生成效率是当今研究的热点问题。该文在漏洞分析模型的基础上,提出一种攻击图自动生成方法的模型。从研究攻击者行为的角度入手,定义了攻击模式和相应的Prolog规则,来自动生成基本子攻击和攻击图,很大地提高了漏洞分析的效率。     

基于Frame结构的测试代码自动生成研究

讨论了基于Frame结构的测试程序开发环境,该开发环境以自然语言描述测试需求,利用人工智能技术根据测试需求自动生成计算机语言代码.在实现途径上,给出了利用框架式结构描述测试需求的方法和利用语法自动分析原理分析测试流程、由推理机实现代码自动生成的方法,从而有效地提高了测试程序集的开发效率与开发质量.     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中,对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统,然后讨论了实现模糊Prolog系统的两种方法,并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法,因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

模糊Prolog系统

模糊Prolog系统将不确定性引入到传统的Prolog系统中，对现实应用具有很大的意义。文中首先介绍了模糊系统和Prolog系统，然后讨论了实现模糊Prolog系统的两种方法，并给出了一些典型的模糊Prolog模型。最后重点讨论了在Prolog系统中实现模糊集合的几种方法，因而对于不同的应用要求可以选择不同类型的模糊Prolog系统。     

基于语法树和JavaCC的程序题自动评分系统

为了提高程序题自动评分的准确性,及解决传统评分方法无法从语法结构和语义角度衡量错误的学生程序与正确答案之间的相似度,提出了一种基于抽象语法树匹配的程序题自动评分方法。文中以JavaCC技术为核心,首先通过词法分析、语法分析和语义分析生成错误列表和抽象语法树的中间表示,然后通过语法树切片匹配得分,最后和错误列表结合给出评分结果。文中详细论述了各个模块的设计方法,着重讨论了抽象语法树生成并匹配的细节,设计并实现了一个传统方法与语义分析结合的C＋＋程序题自动评分系统。通过对实际考试的结果进行实验,进而验证了该系统的实用性与有效性。     

Turbo Prolog语言及其与汇编的接口

本文主要研究了Prolog与汇编语言的接口问题,并给出了一种用Prolog打印不同字型的汉字文本的方法。     

基于自动规约规则的HTML文档元数据提取

利用HTML文档的元数据,可以为Web检索提供多样化的检索手段.本文提出了一种从HTML文档自动提取文档元数据的方法,对其中提取规则的设计、规约算法及其复杂度分析做出了重点介绍.该方法的提取规则在语法形式上和文档片断接近,更适合自动生成,通过自动规约生成规则无需人工分析,适应Web文档特点.文章最后给出了实验结果并进行了分析.     

基于Prolog语言的装备维修决策专家系统设计与开发

采用Prolog智能语言对装备维修决策专家系统进行了设计与开发。从维修知识和推理能力两方面研究了装备维修专家的基本特点;分析了基于Prolog的专家系统的基本语法、推理方式及其在装备维修中的应用方式;设计并开发了装备维修决策专家系统的元知识库、关联知识库和应用知识库;最后采用Visual Prolog和VC++混合编程方式开发了某装备维修决策专家系统。     

UML元模型图实例自动生成算法

UML元模型建模与实例生成是软件自动生成技术的重要环节之一,相关理论和技术在领域建模语言DSL中得到广泛应用。元模型自动生成实例技术不仅可以降低软件开发难度和成本,还可以提高软件开发效率。在已有元模型实例生成图语法理论的基础上,提出相应的元模型图实例自动生成算法,证明了该算法与图语法的等价性。并且在可视化UML建模平台中实现了这一算法,得到了从UML元模型自动生成大量实例的预期结果。     

SLR(1)词/语法分析的自动构造

主要讨论了SLR（1）词／语法分析器的自动构造，自动生成的SLR（1）语法分析器可从自动生成的SLR（1）词法分析器中获得测试数据进行语法分析，论文相关的软件除可用于编译原理课程教学演示外，还可用于实际编译程序的SLR（1）词／语法分析器的自动构造。由于具有SLR（1）分析表自动构造功能，因此该软件还可作为软件工具用于程序设计语言本身的设计和构造。     

非冯·诺依曼式程序设计语言PROLOG和IR

本文对Prolog和FP的程序结构、语义、程序设计风格等方面进行了比较,给出了Prolog语言和FP语言的指称语义以及简化的FP系统的Prolog解释与Prolog系统的FP解释,认为Prolog和FP是适用于不同领域的有生命力的非冯·诺依曼式程序设计语言,可以作为不同结构的计算机系统的核心语言。     

Prolog及其处理系统

1.前言prolog 这个名词是由 Program 和 logic 合成而来的。顾名思义,它是以一阶谓词逻辑为基础的语言。用 Prolog 编程序有的叫programming in logic,或 logic programm-ing,这两个术语比 Prolog 语言的适用范围略微广泛一些。不管怎么叫法,反正 Prolog的最大特点都是与 logic 密切相关的。Prolog 的其它特点,还有:(1)模式匹配功能(2)自动回溯功能(3)有灵活性,其参数对于过程的输     

如何在Turbo Prolog系统中调用汇编语言定义的数据库

众所周知,用Turbo Prolog语言开发专家系统,知识库的存放容量较有限,存取效率较低,这是因为用Turbo Prolog进行多模块程序设计时,生成了庞大的目标代码的结果,那么能不能在不影响存取效率(甚至可能提高)的同时,压缩代码结构呢?回答是肯定的,那就是用汇编语言建立数据库,再由Turbo Prolog语言调用执行。