说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> Prolog语义
1.
Constraint Based Prolog Semantics and Its Applications in the Testing, Analysis and Verification of Prolog Programs;
基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究
2.
Prolog Resolution of the Structural Ambiguity in English;
英语结构歧义在Prolog语言中的歧义消解
3.
An Approach to the Resolution of Quantifier-induced Scope Ambiguity in Prolog;
量化词辖域歧义在Prolog语言中的消歧方案
4.
PROLOG and Its Implementation by LISP
prolog语言的特点及其用LISP语言的实现
5.
The Medicine Diagnosis Expert System Research in Prolog
用Prolog语言开发医疗诊断专家系统
6.
Analysing Prolog from advantage of process
依据过程性优势分析Prolog程序语言
7.
NON-VON NEUMANN STYLE PROGRAMMING LANGUAGES PROLOG AND FP
非冯·诺依曼式程序设计语言PROLOG和IR
8.
RESEARCH ON THE COMPARISON OF META-PROGRAMMING BETWEEN LOGIC PROGRAMMING LANGUAGE GDEL AND PROLOG;
Prolog与Gdel语言元程序设计的对比研究
9.
Prolog Language:The Resolution Refutation Machine with Searching Strategy;
Prolog语言—搜索策略的归结反演推理机
10.
To Establish A Mini-Expert System with PDC Prolog;
用PDC Prolog语言建立小型专家系统
11.
A comparison between the logic programming languages Gdel and Prolog
逻辑程序设计语言Gdel与Prolog的比较
12.
At Present, PROLOG has become a general AI Language.
目前,PROLOG已成为一种通用的人工智能语言.
13.
The Exploration into Artificial Intelligence Education Based on Prolog in High School
基于Prolog语言的高中人工智能课程教学探索
14.
A Conversion from PROLOG to PASCAL Procedure;
从PROLOG到PASCAL的程序转换
15.
OBJECT-ORIENTED PROGRAMMING DISCIPLINE FOR TURBO PROLOG
基于Turbo PROLOG的面向对象方法
16.
Improving Prolog Inference Mechanism in Dependence Theory
利用相关性理论改进Prolog的推理机制
17.
Effects of Cut Mechanisms on Backtracking in Visual Prolog
Visual Prolog截断机制对回溯的作用机理
18.
SDG Fault Diagnosis Expert System and Its Realization Based on Visual Prolog;
SDG故障诊断专家系统及其Visual Prolog实现