prolog

This paper focuses on the resolution of quantifier-induced scope ambiguity by Prolog implementation.

本文的重点是讨论在Prolog语言中如何实现对含有量化词辖域歧义的语句的消歧问题.

互联网摘选

Automatic implementation of abstract data type in Prolog

抽象数据类型的PROLOG实现

互联网摘选

The system adopts PROLOG language and windows and menu technique, uses Chinese presentative and output.

该系统采用PROLOG人工智能语言设计，使用窗口和菜单技术，用纯中文提示和输出。

互联网摘选

At Present, PROLOG has become a general AI Language.

目前, prolog已成为一种通用的人工智能语言.

互联网摘选

This scheme has been used for the implementation of a Prolog code database manager written in C on VAX-11/ 780.

采用这种方法已在VAX-11/780上用C语言实现了一个Prolog代码库管理系统。

互联网摘选

Mathematical Implication of AND Instruction in Assembly Language Programming.

编译Prolog抽象指令集探讨.

网络文摘精选

A prolog system based on the connection theorem prover

基于连接法定理证明器的PROLOG系统

互联网摘选

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

互联网摘选

Efficiency Improvement of an Expert System Programmed in Prolog

提高Prolog实现的专家系统运行效率的方法

互联网摘选

With the help of the establishment of the SCOM operation rules based on semantics, the transformation between ontology language and Horn statement, as well as the SCOM operation procedures based on Prolog, the operation of SCOM based on logical reasoning came to fruition.

通过制定基于语义的SCOM操作规则，本体语言同霍恩语句的转换，以及基于Prolog的SCOM操作流程，实现基于逻辑推理的SCOM操作。

互联网摘选

This paper creates a frame system by using list processing of logic programming language Prolog, and designs a frame-based knowledge base management system which can be self-defined and self-maintained in many ways.

本文用Prolog逻辑程序设计语言的表处理技术实现了框架系统，设计出一个基于框架的可自定义并可多途径自行维护的知识库管理系统。

互联网摘选

The Study and Development of Power Network Graph Editing System Based on Turbo Prolog

基于PROLOG语言的电网图形编辑系统

互联网摘选

The paper presents a PROLOG system and its features, based on the connection theorem prover.

本文介绍以连接法定理证明器为基础的PROLOG系统及其特点。

互联网摘选

Exploration and comparison for embedding functional programming in Prolog

在PROLOG中嵌入函数型语言功能的探讨与比较

互联网摘选

In Prolog, the data exist mainly in the form of facts constituting the fact database. The so-called persistence is a process to perpetuate the fact database and extend it to the external memory.

Prolog中的数据主要以事实的形式存在，构成Prolog的事实库，持久化即是对事实库的持久化，将其保存到外存储器。

互联网摘选

This paper describes a PRolog-based Expert System Tool ( PREST) which is implemented in C-Prolog on Dual 68000 microcomputer. PREST is used to improve the reliability and efficiency of an expert system and to manage the knowledge base.

本文在C-Prolog环境下，实现了一个专家系统开发工具PREST，用于解决专家系统的可靠性和效率，以及知识的插入、删除和修改知识库的管理。

互联网摘选

This paper describes a power network graph editing system based on Turbo Prolog.

介绍了一个基于TuboProlog语言开发的电网图形编辑系统。

互联网摘选

PDC PROLOG Based Self Learning Machine Game

基于PDC-PROLOG自学习机器博弈

互联网摘选

Nit-prolog debugging facilities are based on the port technique provided by L. Byrd.

NIT-PROLOG 查错机制是以L. Byrd提出的框口技术为基础的.

互联网摘选

A Specialized and Parallel Communication Technique for Coupling PROLOG to DBMS

连接PROLOG与DBMS系统的专用、并行通信技术

互联网摘选

The Study on Grain Depot Environment Expert System Based on Prolog

基于Prolog的粮库环境专家系统的研究

互联网摘选

Examples of commercially available nonprocedural languages include Prolog, Focus, Lotus 1-2-3 , and many others.

商业上使用的非过程语言的例子有:Prolog, focus, Lotusl -2-3和其它等.

互联网摘选

The Explanative and Procedural Semantics of FLL Analysing Prolog from advantage of process

FLL语言的说明性语义与过程性语义依据过程性优势分析Prolog程序语言

互联网摘选

The prototype is implemented in QUINTUS PROLOG at SUN workstation.

系统的原型在SUN工作站上用QUINTUSPROLOG实现。

互联网摘选

PROLOG-These clever teenagers show a new kind of cooking skill.

LUCID和 PROLOG—— 这些聪明的青少年显示出一种新的烹饪技巧.

互联网摘选

A Study of Temporary Variable Allocation in Prolog Compiler

Prolog编译器中暂时变量分配方法研究

互联网摘选

POT could significantly prolog the latent period of expiratory dyspnea, tic and falling down caused by egg albumin in sensitized guinea pigs ( P < 0.001).

可显著延长卵白蛋白所致的致敏豚鼠呼吸困难、抽搐和跌倒的潜伏期（P<0.001）。

互联网摘选

The author expresses his different viewpoint with reference(ⅱ) on the relationship between the declarative semantics and the procedural semantics of PROLOG.

对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。

互联网摘选

It is specially helpful for gras-ping the functions of PROLOG without relying on the PROLOG computers.

是在PROLOG尚未普及之前,对PROLOG功能的一种有益的尝试.

互联网摘选

PROLOG Performance of Normal Form Precision linear actuator of piezoelectric based on wriggle principle

范式的PROLOG程序实现蠕动式精密直线驱动器

互联网摘选