Prolog

Prolog 是 "programmation en logique" 的缩写，该词为法语，可翻译为“逻辑编程”。它是当前最重要的逻辑编程语言，并且是一种声明式语言。

• 主页: https://www.swi-prolog.org/
• 开发项目: https://build.opensuse.org/project/show/devel:languages:prolog