From the hub, tagged: "QuickCheck"
Easily QuickCheck your predicates
This post is external to PrologHubLogtalk lgtunit testing tool includes a QuickCheck implementation supporting property-based testing of plain Prolog, Prolog module, and Logtalk code. The tool is portable and can be used with all Logtalk supported Prolog compilers. The QuickCheck implementation provides ...