PrologHub
Archive
Tag: quickcheck
[2019-10-02]
Easily QuickCheck your predicates