1) Visual Prolog language
Visual Prolog语言
1.
Aiming at the characteristics of fault diagnosis,adopting the advantages of Visual Prolog language in the process of knowledge representation and logical reasoning,taking the catalytic cracking unit with high accidents in process industry as an example,a rule-based fault diagnosis expert system is designed and implemented.
针对故障诊断的特点,利用Visual Prolog语言在知识表示及逻辑推理过程中的优势,以流程工业中易发生事故的催化裂化装置为例设计并实现了基于规则的故障诊断专家系统。
2) Visual Basic language
VISUAL basic语言
1.
Procession of data collector based on Visual Basic language;
基于Visual Basic语言的采集卡数据处理
2.
For this reason,by using the Visual Basic language in Corel DRAW planar design software compiled logging traces plotting program,thus monotonous of CLGIS drawing resolved and can plot multiple logging traces of prospecting line on a same drawing.
采用CLGIS软件的测井资料由于其输出格式及种类的局限性限制,不能同时把测井成果图做在一张图纸上,为此利用Corel DRAW平面设计软件中的VISUAL basic语言编制了测井曲线绘制程序,解决了clgis出图单一的问题,并且可以将勘探线剖面上的多条测井曲线绘制于一张图上。
3.
This paper establishes a data-base about the calibration of different types of thermocouples by using Visual Basic language.
应用Visual Basic语言,将八种标准化热电偶(S型、B型、R型、K型、N型、E型、J型、T型)的分度值建立一个数据库,使得在查询热电偶分度值时,只须键入热电偶型号和温度值便可从界面中得到相应的电势值,从而省去了利用分度值手册逐行对照查询的烦琐工作。
3) visual Basic
Visual Basic语言
1.
The paper introduces the term of function in visual basic language for application in electric power system design.
介绍Visual Basic语言的自定义函数在电力系统中的应用。
4) Visual LISP Language
Visual LISP语言
5) Visual Basic 6.0 language
Visual Bask6.0语言
补充资料：PROLOG语言
一种逻辑程序设计语言。1972年法国科莫劳埃小组为了提高归结法的执行效率，研制出一个定理证明程序的程序执行器，取名为PROLOG(Programming In Logic)，标志着第一个逻辑程序设计语言PROLOG的诞生。1974年及以后，R.科瓦尔斯基进一步从谓词逻辑的HORN子句的角度阐明PROLOG的理论基础，系统地提出逻辑程序设计的思想。
PROLOG语言的基本语句有三类，分别代表事实、规则和询问，并同有头（无体、有体）和无头的HORN子句相对应。例如：
因而用PROLOG语言进行的程序设计可归结为宣布事实，定义规则和提出询问。
PROLOG程序的解释执行过程采用特定的输入归结，即从目标语句出发求出它和原来子句集的一个子句的归结式（尾部和头部匹配），新的子句再与原来子句集的一个子句求归结式，以此类推。任一时刻都不在两个导出子句或原来子句集的两子句间求归结式。上例中
⑥：-human(u)，greek(u)（④和⑤的归结式,mgu＝u/x）
⑦：-greek(socarates)（②和 ⑥的归结式，mgu＝socarates/u）
⑧：-
（③和⑦的归结式，得空子句）
问题答案是u＝socarates。由此可见，PROLOG解释系统实际上就是一个以归结原理为基础的定理证明程序或问题求解程序。
时空效率较低是影响PROLOG语言应用的重要问题，提高效率的途径是：改进PROLOG解释系统，采用PROLOG编译系统，研制PROLOG机，引入用于控制的元规则，采用启发式搜索方式，启用智能回溯，采用协同、并发求解技术，开发并行处理机制。
由于PROLOG解释程序能根据推理规则自动寻求问题的解，程序设计者就可把主要精力放在揭示对象间的逻辑关系上而不必过多地考虑过程的细节，这是向自动程序设计方向迈进了一步。但是PROLOG语言还具有一些非逻辑特征。例如为了控制回溯,采用CUT技术（切断技术,意即程序人员用CUT符!通知系统不再考虑过去已进行过但无用的搜索通路而且也无须记录回溯点的技术），引入谓词assert（在数据库中增添子句）ret ract（从数据库中删除子句）。这就使得系统的公理集合在推理过程中发生变化，这些都同一阶逻辑的基本思想不符。因此PROLOG还不是严格意义下的逻辑程序设计语言。为了使其更加逻辑化，需要将语言的非逻辑成分限制到最低程度，这方面的研究正在进行中。
参考书目
W.F.Clocksin and C.S.Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981.
PROLOG语言的基本语句有三类，分别代表事实、规则和询问，并同有头（无体、有体）和无头的HORN子句相对应。例如：
因而用PROLOG语言进行的程序设计可归结为宣布事实，定义规则和提出询问。
PROLOG程序的解释执行过程采用特定的输入归结，即从目标语句出发求出它和原来子句集的一个子句的归结式（尾部和头部匹配），新的子句再与原来子句集的一个子句求归结式，以此类推。任一时刻都不在两个导出子句或原来子句集的两子句间求归结式。上例中
⑥：-human(u)，greek(u)（④和⑤的归结式,mgu＝u/x）
⑦：-greek(socarates)（②和 ⑥的归结式，mgu＝socarates/u）
⑧：-
（③和⑦的归结式，得空子句）
问题答案是u＝socarates。由此可见，PROLOG解释系统实际上就是一个以归结原理为基础的定理证明程序或问题求解程序。
时空效率较低是影响PROLOG语言应用的重要问题，提高效率的途径是：改进PROLOG解释系统，采用PROLOG编译系统，研制PROLOG机，引入用于控制的元规则，采用启发式搜索方式，启用智能回溯，采用协同、并发求解技术，开发并行处理机制。
由于PROLOG解释程序能根据推理规则自动寻求问题的解，程序设计者就可把主要精力放在揭示对象间的逻辑关系上而不必过多地考虑过程的细节，这是向自动程序设计方向迈进了一步。但是PROLOG语言还具有一些非逻辑特征。例如为了控制回溯,采用CUT技术（切断技术,意即程序人员用CUT符!通知系统不再考虑过去已进行过但无用的搜索通路而且也无须记录回溯点的技术），引入谓词assert（在数据库中增添子句）ret ract（从数据库中删除子句）。这就使得系统的公理集合在推理过程中发生变化，这些都同一阶逻辑的基本思想不符。因此PROLOG还不是严格意义下的逻辑程序设计语言。为了使其更加逻辑化，需要将语言的非逻辑成分限制到最低程度，这方面的研究正在进行中。
参考书目
W.F.Clocksin and C.S.Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条