PrologCheck（序言检查） swMATH ID: 14206 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 描述： Prologcheck–prolog中基于属性的测试。我们提出了PrologCheck，这是一种用于逻辑编程语言Prolog中基于属性的程序测试的自动工具，具有随机测试数据生成功能。该工具的灵感来自著名的QuickCheck，最初是为函数编程语言Haskell设计的。它包括处理Prolog特定特征的功能，例如其关系性质（与Haskell相反）和缺少强类型规则。par PrologCheck表达能力源于将属性描述为Prolog目标。它支持为针对要测试的属性定制的随机测试定义自定义测试数据生成器。此外，它允许使用谓词规范语言，该语言支持类型、模式和对成功计算次数的约束。我们在许多示例上评估了我们的工具，并将其成功应用于调试AVL搜索树的Prolog库。 主页： http://rd.springer.com/chapter/10.1007%2F978-3-319-07151-0_1 相关软件： K校准仪；K工具；快速检查；PPL（公私合营）；为什么3；停机坪；棱镜；拉赫夫特；OCaml公司；eThor公司；幼儿保育和教育；Coq公司；转向器；ProVerify公司；JML公司；艾菲尔；对数；伊莎贝尔/HOL；数学SAT5；跟踪器 引用于： 3文件 标准条款 1出版物描述软件 年份 Prologcheck——prolog中基于属性的测试阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 2014 全部的 前5名9位作者引用 1 詹姆斯·切尼 1 迈克尔·科迪什 1 伊曼纽尔·德·安吉利斯 1 法比奥·菲奥拉万蒂 1 约翰·加拉赫（John P.Gallagher）。 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 阿尔贝托·佩特罗西 1 毛里齐奥·普罗埃蒂 1 埃希罗·苏米 2篇连载文章中引用 2 逻辑程序设计的理论与实践 1 计算机科学课堂讲稿 在3个字段中引用 三 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文