# \#pack

**URL:** https://swi-prolog.discourse.group/tag/pack/179.md

[Latest](https://swi-prolog.discourse.group/latest.md) · [Categories](https://swi-prolog.discourse.group/categories.md) · [Tags](https://swi-prolog.discourse.group/tags.md)

---

## [Pack publish policies](https://swi-prolog.discourse.group/t/pack-publish-policies/8647)

<div class="topic-metadata">

**Author:** [@jan](https://swi-prolog.discourse.group/u/jan)\
**Replies:** 4\
**Last updated:** [December 4, 2024, 10:10am UTC](https://swi-prolog.discourse.group/t/pack-publish-policies/8647 "2024-12-04T10:10:31Z")

</div>

By installing from a publically accessible URL, you publish the package. Maybe that is not a great choice today, especially as there is swipl pack publish ... If you want to install privately, use this from the pack…

---

## [Pack Announce: probat - property based testing Prolog programs](https://swi-prolog.discourse.group/t/pack-announce-probat-property-based-testing-prolog-programs/7371)

<div class="topic-metadata">

**Author:** [@damiazz94](https://swi-prolog.discourse.group/u/damiazz94)\
**Replies:** 0\
**Last updated:** [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")

</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: damianoazzoli…

---

## [Updated Liftcover](https://swi-prolog.discourse.group/t/updated-liftcover/7182)

<div class="topic-metadata">

**Author:** [@friguzzi](https://swi-prolog.discourse.group/u/friguzzi)\
**Replies:** 0\
**Last updated:** [January 21, 2024, 3:44pm UTC](https://swi-prolog.discourse.group/t/updated-liftcover/7182 "2024-01-21T15:44:32Z")

</div>

I updated the liftcover pack to now perform expectation maximization and gradient descent calculations in Python (if wanted). The advantage is that they can now be performed on a GPU. Moreover, I added the possibility of…
