JSHOP2资源，可以直接运行的版本。

文件中包含有GitHub上的JSHOP2资源的源代码，以及我自己整理的能够直接运行的代码（在justRun文件夹下，里面的readme有详细的操作说明）。

import JSHOP2.*;

public class CheckNull implements Calculate {
  public Term call（List l） {
    if （l.getHead（）.isNil（））
      return l.getRest（）.getHead（）;

    return new TermNumber（0）;
  }
}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件     443432  2006-05-05 12:22  JSHOP2\JSHOP-SourceCode\JSHOP2\bin\antlr.jar

     文件        355  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\basic\basic

     文件         63  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\basic\problem

     文件       8061  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\blocks\blocks

     文件      41356  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\blocks\problem

     文件        281  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\blocks\smallproblem

     文件       1558  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\forall\forall

     文件        259  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\forall\problem

     文件        195  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\freecell\CheckNull.java

     文件       8198  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\freecell\freecell

     文件        789  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\freecell\problem

     文件       4329  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\logistics\logistics

     文件       2151  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\logistics\problem

     文件       3502  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\oldblocks\oldblocks

     文件        433  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\oldblocks\problem

     文件         72  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\propagation\problem

     文件        439  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\propagation\propagation

     文件      41770  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\rover\problem

     文件       5871  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\rover\rover

     文件        690  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\test\MyComparator.java

     文件        261  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\test\MyFunc.java

     文件        256  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\test\problem

     文件       1517  2006-05-09 22:50  JSHOP2\JSHOP-SourceCode\JSHOP2\examples\test\test

     文件     206300  2006-05-09 23:48  JSHOP2\JSHOP-SourceCode\JSHOP2\JSHOP2.pdf

     文件       3153  2006-05-09 22:58  JSHOP2\JSHOP-SourceCode\JSHOP2\make.bat

     文件       3403  2006-05-09 22:53  JSHOP2\JSHOP-SourceCode\JSHOP2\Makefile

     文件       3646  2006-05-09 11:04  JSHOP2\JSHOP-SourceCode\JSHOP2\README

     文件       1220  2006-05-09 22:49  JSHOP2\JSHOP-SourceCode\JSHOP2\src\JSHOP2\Axiom.java

     文件        690  2006-05-09 22:49  JSHOP2\JSHOP-SourceCode\JSHOP2\src\JSHOP2\Calculate.java

     文件        669  2006-05-09 22:49  JSHOP2\JSHOP-SourceCode\JSHOP2\src\JSHOP2\CompileTimeobject.java

............此处省略2588个文件信息