加载多个MIT-Scheme文件

Question

我在Ubuntu Linux上运行MIT-Scheme。我正试图从麻省理工学院出版社的书“The Little Prover”“编译”中获得证明助理。我试图从MIT-Scheme CLI加载三个Scheme文件。看来当遇到第一个文件的EOF时，其他两个文件都没有被编译。为了编译所有三个文件，我应该做些什么？

谢谢，

瓦西

Answer 1

只需使用三个不同的命令，或者像我在这里做的PROGN：

> (progn 
      (load "FILEPATH 1")
      (load "FILEPATH 2")
      (load "FILEPATH 3"))