自闭症 swMATH ID: 22940 软件作者： 迈克尔·弗兰克；科迪什，迈克尔 描述： 具有图形自同构的逻辑编程：与Prolog（工具描述）集成。本文介绍了pl-nauty库，它是图形自同构工具的Prolog接口。将nauty的功能添加到Prolog中，结合了逻辑编程和约束求解中常用的“生成和修剪”方法的优点，以及在对图形对象进行推理时减少对称性的能力。此外，它可以将nauty集成到现有的工具中，例如用于Prolog的SAT解析器或有限域约束编译器。该实现由两个组件组成：pl-nauty，一个连接nauty的C库与Prolog的接口，以及pl-gtools，一个集成nauty软件组件（称为gtools）与Prolog的Prolog框架。完整的工具作为SWI-Pro模块提供。我们提供了一系列使用示例，其中包括两个应用于生成Ramsey图的示例。 主页： 网址：https://www.cs.bgu.ac.il/~frankm/plnauty/pl-nauty.pdf 相关软件： 鹦鹉螺;极乐;SWI-预测;BEE公司;踪迹 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 具有图形自同构的逻辑编程：与Prolog（工具描述）集成。 Zbl 1379.68063号迈克尔·弗兰克;迈克尔·科迪什 2016 2位作者引用 1 科迪什，迈克尔 1 迈克尔·弗兰克 连载1篇 1 逻辑程序设计理论与实践 在2个字段中引用 1 组合数学（05-XX） 1 计算机科学（68至XX） 按年份列出的引文