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個文件信息