lisp - 只需执行一个 lsp 文件并获取一个日志文件
问题描述
对于一个项目,我需要一个 Lisp 程序的输出,但是我以前从未听说过 Lisp,我无法让它运行。我从网站下载了文件 (.lsp) 并用文本编辑器查看了它以了解其逻辑。lisp 文件获取特定输入并通过一些迭代步骤减少该输入。我不仅想知道输出,还想知道迭代过程,这就是为什么这样的日志文件会很棒。我已经下载了 Portacle 和其他一些 Lisp 解释器/编译器,但我无法让它工作。这太令人沮丧了。有没有一种简单的方法可以从目录运行 lisp 文件?我已经观看了几个教程并在这里阅读了一些线程,但我仍然不知道如何像运行 Python 文件一样运行 Lisp 文件。
我非常感谢任何帮助!我很确定有一种我没有看到的简单方法。非常感谢您!
解决方案
如果你必须花一些时间来解决这个问题,那么至少安装 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 *)
根据文件中的注释(#|
和之间|#
),您可以按如下方式对其进行测试:
* (test-concepts shepard)
这执行了很多测试。
如果需要,您可以使用(trace X Y Z)
where跟踪单个函数X
,Y
并且Z
是函数名称(您也可以使用untrace
它们)。为简化起见,这是一个列表,其中跟踪了注释中描述的所有(我认为)符号:
(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
跳出当前帧等。
推荐阅读
- android - 内存不足错误图像视图
- redis - 如何在redis中获取设置项的空闲时间
- r - 从前 5 个字符开始调用一个对象,而不是它在 R 中的全名?
- c++ - 添加两个多项式并正确显示结果
- html - Chrome在服务器上没有声音,但在客户端有
- javascript - UnhandledPromiseRejectionWarning:错误:协议错误(Runtime.callFunctionOn):目标已关闭。(木偶师)
- python - 在给定条件的情况下填充 numpy 数组中的值
- ruby - 如何模拟sidekiq中的“立即重试”按钮
- python - pyLDAvis:“ValuesView”类型的对象不是 JSON 可序列化的
- c - MIPS GCC 交叉编译器构建失败:“找不到 -lc”