Picat 是一种基于逻辑的新编程语言。 在许多方面，Picat 与 Prolog 相似，尤其是 B-Prolog，但它除了谓词之外还有函数，谓词头中使用模式匹配而不是统一，列表推导式和可选的破坏性赋值。 了解一些 Prolog 有助于学习 Picat，但不是必须的。