我正在学习如何编程。
I m learning how to program. (2024-01-04, Scheme, 0KB, 下载0次)
Lisp中的逻辑编程。该项目移至Gitlab
Programming in Logic in Lisp. This project moved to Gitlab (2018-01-07, Scheme, 0KB, 下载0次)
我对Extempore编程环境的自定义扩展
My custom extensions to the Extempore programming environment (2023-11-13, Scheme, 0KB, 下载0次)
基于alphaProlog.的miniKanren标称逻辑编程扩展。,
Nominal logic programming extensions to miniKanren, based on alphaProlog., (2014-01-19, Scheme, 0KB, 下载0次)