如果你必须花一些时间来解决这个问题，那么至少值得安装 Quicklisp 和 Slime，遵循本教程：
https://lisp-lang.org/learn/getting-started/
但是，您可以只从解释器开始。你需要安装sbcl，我建议你也安装rlwrap，因为SBCL提示符没有花哨的readline功能。
$ rlwrap sbcl
然后，您将进入 Lisp REPL。执行此操作以确保以最高级别的调试编译代码：
* (sb-ext:restrict-compiler-policy 'debug 3)
环境应回复：
((DEBUG . 3))
NIL
然后，您可以编译您的输入文件（使用绝对路径，或相对于您使用 sbcl 的目录的相对路径）：
* (compile-file "/tmp/concepts")
会发出很多文本，但解释器会回复正在生成的目标文件的名称（例如“/tmp/concepts.fasl”），您可以通过提供* 作为参数来加载它，因为星号表示最后一个结果。
* (load *)
按照文件中的cmets（在#|和|#之间），可以如下测试：
* (test-concepts shepard)
这会执行大量测试。
如果需要，您可以使用(trace X Y Z) 跟踪各个函数，其中X 、Y 和Z 是函数名称（您也可以使用untrace 它们）。
为简化起见，这是一个列表，其中包含了 cmets 中描述的所有（我认为）符号：
(trace frequency-of-properties
frequency-of-pairs
count-of-n
simplify-eight
remove-non-minimals
replace-lis-in-concept
print-linear-models
simplify-quads
make-master-list
make-pairs-for-quads
find-pair-quads
memberprop-lis
max-length
count-of-n
frequency-of-pairs
find-pairs-that-simplify
find-pair-to-simplify
remove-non-minimals
triples
three-pairs
simplify-by-mates
doubles
co
remove-non-minimals
replace-lis-in-concept
simplify-by-mates
singles
remove-non-minimals
replace-lis-in-concept
simplify-by-mates
print-linear-models
simplify-by-mates)
使用与上面相同的测试，最后一个测试打印以下跟踪：
Problem 6 0: (PRINT-LINEAR-MODELS (((A) (B) (- C)) ((A) (- B) (C)) ((- A) (B) (C)) ((- A) (- B) (- C))))
AB-C A-BC -ABC -A-B-C
0: PRINT-LINEAR-MODELS returned NIL
0: (FREQUENCY-OF-PROPERTIES (((A) (B) (- C)) ((A) (- B) (C)) ((- A) (B) (C)) ((- A) (- B) (- C))))
0: FREQUENCY-OF-PROPERTIES returned
((((A)) 2) (((B)) 2) (((- C)) 2) (((- B)) 2) (((C)) 2) (((- A)) 2))
0: (COUNT-OF-N ((((A)) 2) (((B)) 2) (((- C)) 2) (((- B)) 2) (((C)) 2) (((- A)) 2)) 4)
1: (COUNT-OF-N ((((B)) 2) (((- C)) 2) (((- B)) 2) (((C)) 2) (((- A)) 2)) 4)
2: (COUNT-OF-N ((((- C)) 2) (((- B)) 2) (((C)) 2) (((- A)) 2)) 4)
3: (COUNT-OF-N ((((- B)) 2) (((C)) 2) (((- A)) 2)) 4)
4: (COUNT-OF-N ((((C)) 2) (((- A)) 2)) 4)
5: (COUNT-OF-N ((((- A)) 2)) 4)
6: (COUNT-OF-N NIL 4)
6: COUNT-OF-N returned NIL
5: COUNT-OF-N returned NIL
4: COUNT-OF-N returned NIL
3: COUNT-OF-N returned NIL
2: COUNT-OF-N returned NIL
1: COUNT-OF-N returned NIL
0: COUNT-OF-N returned NIL
0: (SIMPLIFY-BY-MATES (((A) (B) (- C)) ((A) (- B) (C)) ((- A) (B) (C)) ((- A) (- B) (- C))))
1: (MAX-LENGTH (((A) (B) (- C)) ((A) (- B) (C)) ((- A) (B) (C)) ((- A) (- B) (- C))))
2: (MAX-LENGTH (((A) (- B) (C)) ((- A) (B) (C)) ((- A) (- B) (- C))) 3)
3: (MAX-LENGTH (((- A) (B) (C)) ((- A) (- B) (- C))) 3)
4: (MAX-LENGTH (((- A) (- B) (- C))) 3)
5: (MAX-LENGTH NIL 3)
5: MAX-LENGTH returned 3
4: MAX-LENGTH returned 3
3: MAX-LENGTH returned 3
2: MAX-LENGTH returned 3
1: MAX-LENGTH returned 3
0: SIMPLIFY-BY-MATES returned NIL
No simplification possible. Number of models 4
这应该可以更好地了解正在发生的事情。
您也可以使用(step (test shepard))，在这种情况下，调试器会中断执行；使用help 获取有关您可以调用的命令的更多信息。例如，您可以写STEP（或只写S）进入一个表达式，NEXT 跳过一个表达式并转到下一个，OUT 退出当前帧，等等。