Prolog 教程

Prolog 或PROgramming in LOGics 是一种逻辑和声明编程语言。它是支持声明性编程范式的第四代语言的一个主要示例。它特别适用于涉及符号或非数值计算的程序。

受众

本参考资料已编制给初学者，以帮助他们了解 Prolog 的基础知识。

先决条件

本教程假设读者具有先前的编码知识。