Did you know ... Search Documentation:
Pack quickcheck -- README.md

Synopsis

:- use_module(library(quickcheck)).

% reversing a list twice gives back the same list
prop_reverse_twice(L:list) :-
    reverse(L, R),
    reverse(R, L).

?- quickcheck(prop_reverse_twice/1).
100 tests OK
true.

Description

Randomized testing of program properties in the spirit of QuickCheck. Describe properties of your predicates and let library(quickheck) generate test cases for you.

A detailed tutorial is available.

Installation

Using SWI-Prolog 7.1 or later:

?- pack_install(quickcheck).

This module uses semantic versioning.

Source code available and pull requests accepted at http://github.com/mndrix/quickcheck