#范例

Picat 3.0 released (logic-based multi-paradigm programming language)(picat-lang.org)

2020-9-28 3:50

3.0版(2020年9月26日)=+对SAT编译器进行了大量改进。+重新实现了SAT模块的电路约束，如CP'；20论文中所述。+支持Horn条款。Horn子句根据用户提供的或自动生成的索引声明转换为模式匹配规则。+支持DCG规则。DCG规则通过Horn子句转换为模式匹配规则。+从Prolog添加了以下新的内置谓......