GitHub - dtonhofer/prolog_notes: 在从事 Prolog 工作时所做的一些笔记

主要观点:这是关于 Prolog(主要是 SWI-Prolog)的一些笔记,包含各种相关内容如传统艺术作品、逻辑编程领域的多种语言、相关期刊、各类代码示例、编程构造相关内容、对 Prolog 的一般解释、与 JPL 的相关内容、一般问题笔记、自由风格笔记、代码抓取包以及外部资源等。

关键信息:

  • 有传统艺术作品如 Hiroshige 的《The Fifty-three Stations of the Tōkaidō》。
  • 逻辑编程领域有众多不同的建模和编程语言,如未提及的多种 Prolog 扩展语言等。
  • 提及的期刊有《Theory and Practice of Logic Programming》《The Journal of Logic Programming》。
  • 包含各种代码示例,如 Fibonacci 数计算、Prolog 数据库操作等。
  • 有关于编程构造的内容,如foldlfindall等。
  • 对 Prolog 的一般解释包括“Byrd Box Model”等。
  • 与 JPL 相关的有一些测试代码。
  • 有关于一般问题的笔记,如逻辑、真值等。
  • 有自由风格笔记和代码抓取包。
  • 外部资源包括 SWI-Prolog 手册的注释、klaussinani 的 awesome-prolog 资源等。

重要细节:

  • 多个关于 Prolog 扩展语言的详细信息,如 NProlog 的相关论文。
  • 不同代码示例的具体内容和指向的代码库。
  • 关于各种编程构造的详细解释和相关代码。
  • 对 Prolog 相关概念如“Prolog 变量”等的探讨及相关需求。
  • 外部资源的具体链接和介绍。
阅读 41
0 条评论