# Logically pure/impure predicate implementations in the std lib

**URL:** <https://swi-prolog.discourse.group/t/logically-pure-impure-predicate-implementations-in-the-std-lib/6317>\
**Category:** General\
**Created:** [February 28, 2023, 6:39am UTC](https://swi-prolog.discourse.group/t/logically-pure-impure-predicate-implementations-in-the-std-lib/6317 "2023-02-28T06:39:02Z")\
**Posts on this page:** 1\
**Showing post:** 9

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [February 28, 2023, 5:04pm UTC](https://swi-prolog.discourse.group/t/logically-pure-impure-predicate-implementations-in-the-std-lib/6317/9 "2023-02-28T17:04:09Z")

</div>

> [@emummel20](#):
>
> How do you work with these packages?

It has been a while since I wrote this topic

[Installing a SWI-Prolog pack](https://swi-prolog.discourse.group/t/installing-a-swi-prolog-pack/2984)

but it should still work or at least give you enough of the details to get you headed in the right direction.

---

_[View the full topic](https://swi-prolog.discourse.group/t/logically-pure-impure-predicate-implementations-in-the-std-lib/6317)._