讨论序言

Prolog 或LOG ics 中的PRO语法是一种逻辑和声明性编程语言。它是支持声明式编程范式的第四代语言的主要示例之一。这特别适合涉及符号或非数字计算的程序。