Prolog（PROgramming in LOGic）采用的是用逻辑方法作程序设计的思想，它把一阶谓词演算中的说明性命题赋予过程性的解释，从而使说明性的命题变成可执行的过程。 　　SMALLTALK是面向对象的程序设计语言中的主要代表。它由Alan Kay设计出来。整个系统包含四个组成部分：语言核心，编程风范，编程系统和界面模型。SmallTalk程序以面向对象为基础，对象组织成类，凡是能被计算机处理的数据都可以定义为对象。类构成继承的层次体系，每个类可以包含一些方法，这些方法可以被子类继承也可以不被继承，类之间的操作通过传递消息实现。 　　对象是由一组数据和与该组数据相关的操作构成的实体。在面向对象表示中类和类继承是一组重要概念。类由一组变量和一组操作组成，它描述了一组具有相同属性和操作的对象。每一个对象都属于某一类，每个对象都可由相关的类生成，换言之，对象是类的实例。一个类可以通过继承拥有另一类的全部变量和操作，继承是面向对象表示法的主要推理形式。同时，由于一个事物的描述都集中在一个类中，又体现了类的封装性。继承和封装是面向对象的两大特点。