本章介绍 Visual Prolog的数据元素,内容包括论域段(Domains Sections)、通用类型和根类型(Universal and Root Types)等

2.1 基本PR0L0G 2.2 Turbo PR0L0G程序设计

以冶金工业部人才资源的管理问题为背景,给出了人才资源智能管理系统的具体设计方法.该系统中,广义的管理分析预测模型树用于其知识表达,系统结构由多库结构支持;在其推理机方面,应用元知识推理以协调定性推理、定量推理和人工神经网络推理.将有限的自然语言理解引入人-机界面,用TURBO PROLOG和C语言在IBM/AT微机上对该设计部分实现,表明了其合理性及可行性

FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ALGOL 算法语言 C/C++ 系统程序设计 Java Internet程序设计

【学术论文】逻辑程序设计语言G〖AKo¨D〗del与Prolog的比较

本附录是术语表（Glossary），提供Visual Prolog的关键术语，这些术语以其英文字母顺序给出

本章介绍 Visual Prolog编译单元的有关内容,包括接口、类声明、类实 现、各种类型转换、条件编译、异常处理、预处理程序指令等。 一个程序由若干编译单元组成。编译器分别编译这些编译单元。编译的 结果是一个个目标文件。这些目标文件(可能还有其它文件)连接在一 起形成项目的目标文件。一个程序必须确实包含一个目标段,它是程序 的入口点

12.1项 12.2常量 12.3谓词 12.4子句 12.5事实 12.6评估 12.7程序段

◆知识表示 演绎系统、产生式系统、框架结构、语义网络、过程性 知识 ◆搜索技术 无变量盲目搜索算法、带变量盲目搜素算法、启发式搜 索算法、博弈树搜索 ◆人工智能程序设计语言 PROLOG