Prolog源程序库的实现方法

由于Prolog是一种交互式语言,而且包含有clause,listing,retract等对程序源形式进行操作的内部謂词,在编译型Prolog系统中,除存放程序代码的代码库外,还必须有一个源程序库。本文首先介绍并比较了源程序库的三种实现方法,然后论述了一种实现实际的源程序库的新方法。我们已按这种方法在VAX-11/780上用C语言实现了一个源程序库。