Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我将非常感谢用于实现 Prolog 的简单伪代码算法,其中伪代码被视为纯函数式语言。
著名的SICP书有一章是关于逻辑编程的