# Pack Announce: probat - property based testing Prolog programs

**URL:** <https://swi-prolog.discourse.group/t/pack-announce-probat-property-based-testing-prolog-programs/7371>\
**Category:** Announce\
**Tags:** testing, pack\
**Created:** [April 13, 2024, 3:47pm UTC](https://swi-prolog.discourse.group/t/pack-announce-probat-property-based-testing-prolog-programs/7371 "2024-04-13T15:47:46Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![damiazz94](https://avatars.discourse-cdn.com/v4/letter/d/d2c977/32.png) [@damiazz94](https://swi-prolog.discourse.group/u/damiazz94)\
**Post date:** [April 13, 2024, 3:47pm UTC](https://swi-prolog.discourse.group/t/pack-announce-probat-property-based-testing-prolog-programs/7371/1 "2024-04-13T15:47:46Z")

</div>

Dear all,  
since I’ve found none, I’ve developed a SWI-Prolog package to perform property based testing on Prolog programs. That is, testing Prolog predicates with random inputs.  
You can find it on GitHub: [damianoazzolini/probat: Property based testing Prolog programs. (github.com)](https://github.com/damianoazzolini/probat)

Any comment is apreciated!