1.
Analysing Prolog from advantage of process
依据过程性优势分析Prolog程序语言
2.
Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计
3.
Constraint Based Prolog Semantics and Its Applications in the Testing, Analysis and Verification of Prolog Programs;
基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究
4.
A Conversion from PROLOG to PASCAL Procedure;
从PROLOG到PASCAL的程序转换
5.
NON-VON NEUMANN STYLE PROGRAMMING LANGUAGES PROLOG AND FP
非冯·诺依曼式程序设计语言PROLOG和IR
6.
RESEARCH ON THE COMPARISON OF META-PROGRAMMING BETWEEN LOGIC PROGRAMMING LANGUAGE GDEL AND PROLOG;
Prolog与Gdel语言元程序设计的对比研究
7.
A comparison between the logic programming languages Gdel and Prolog
逻辑程序设计语言Gdel与Prolog的比较
8.
Research and Implementation on Prolog Remote Predicate Calling;
Prolog远程谓词调用的研究与实现
9.
The Exploration into Artificial Intelligence Education Based on Prolog in High School
基于Prolog语言的高中人工智能课程教学探索
10.
library routine
库存(程序库)程序
11.
pseudo-FORTRAN program
伪FORTRAN程序
12.
benchmark programming
基准程序的程序设计
13.
initial program loader
初始程序的装入程序
14.
independent program loader
独立程序的装入程序
15.
absolute program loader
绝对程序的装入程序
16.
link loader program
连接装入程序的程序
17.
preprogrammed routine
预编程序的例行程序
18.
translator dispatcher
翻译程序的调度程序