# The pack \`reif\` couldn't be installed due to a 404 and seems now removed

**URL:** <https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469>\
**Category:** General\
**Created:** [June 4, 2020, 11:01pm UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469 "2020-06-04T23:01:07Z")\
**Posts on this page:** 8\
**Page:** 1

<div class="post-metadata">

**Author:** ![meditans](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/meditans/32/1768_2.png) [@meditans](https://swi-prolog.discourse.group/u/meditans)\
**Post date:** [June 4, 2020, 11:01pm UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/1 "2020-06-04T23:01:07Z")

</div>

As I mentioned in the irc channel, I seem to recall having a `reif` package which was failing with a 404,  
and now:

```
?- pack_install(reif).
% Contacting server at https://www.swi-prolog.org/pack/query ... done
Warning: No registered pack matches "reif"
false.

```

are the ideas implemented in [[1607.01590] Indexing dif/2](https://arxiv.org/abs/1607.01590) (indexing dif/2) implemented elsewhere?  
A few days ago I wrote to prof Tom Schrijvers, which was listed as the maintainer, and he answered that unfortunately he didn’t have much free time to maintain it, but we are free to adopt it.

Could that be hosted directly on the swi website?

---

<div class="post-metadata">

**Author:** ![peter.ludemann](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/peter.ludemann/32/48_2.png) [@peter.ludemann](https://swi-prolog.discourse.group/u/peter.ludemann)\
**Post date:** [June 4, 2020, 11:23pm UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/2 "2020-06-04T23:23:25Z")

</div>

I don’t think it’s a SWI-Prolog “pack”. You can get it directly from here:  
[http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/swi/reif.pl](http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/swi/reif.pl)  
which is linked from here:  
[https://www.metalevel.at/prolog/metapredicates](https://www.metalevel.at/prolog/metapredicates)

(Putting this into a “pack” is on my ever-growing “to-do” list …)

---

<div class="post-metadata">

**Author:** ![meditans](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/meditans/32/1768_2.png) [@meditans](https://swi-prolog.discourse.group/u/meditans)\
**Post date:** [June 4, 2020, 11:26pm UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/3 "2020-06-04T23:26:26Z")

</div>

Yes indeed @peter.ludemann, this topic was the equivalent of “it would be very nice to have that as a pack”. It’s also useful for newcomers that read the metalevel tutorial - which hugely emphasizes that library - to not be confused by the non-existence of the pack.

---

<div class="post-metadata">

**Author:** ![peter.ludemann](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/peter.ludemann/32/48_2.png) [@peter.ludemann](https://swi-prolog.discourse.group/u/peter.ludemann)\
**Post date:** [June 4, 2020, 11:56pm UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/4 "2020-06-04T23:56:16Z")

</div>

I was planning on putting the source file on github, then creating a pack. It’s not a lot of work, but I just hadn’t got around to doing it …

---

<div class="post-metadata">

**Author:** ![meditans](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/meditans/32/1768_2.png) [@meditans](https://swi-prolog.discourse.group/u/meditans)\
**Post date:** [June 5, 2020, 12:00am UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/5 "2020-06-05T00:00:59Z")

</div>

Should the repo be put under a particular organization in github? Like, [https://github.com/SWI-Prolog](https://github.com/SWI-Prolog)?  
I can also do it if you give me the above details, having just read [https://www.swi-prolog.org/howto/Pack.html](https://www.swi-prolog.org/howto/Pack.html)

---

<div class="post-metadata">

**Author:** ![jan](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/jan/32/4_2.png) [@jan](https://swi-prolog.discourse.group/u/jan)\
**Post date:** [June 5, 2020, 7:43am UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/6 "2020-06-05T07:43:37Z")

</div>

> [@meditans](#):
>
> Should the repo be put under a particular organization in github? Like, [SWI-Prolog · GitHub](https://github.com/SWI-Prolog)?

No. Packs are in principle not hosted under the SWI-Prolog organization. They are community contributions and maintained outside the core system.

---

<div class="post-metadata">

**Author:** ![peter.ludemann](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/peter.ludemann/32/48_2.png) [@peter.ludemann](https://swi-prolog.discourse.group/u/peter.ludemann)\
**Post date:** [June 5, 2020, 3:21pm UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/7 "2020-06-05T15:21:31Z")

</div>

I’ll add `reif` to my github repository … I’ve already done that for `pack(edcg)` when the previous maintainer archived the code. Please give me a few days.

---

<div class="post-metadata">

**Author:** ![meditans](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/meditans/32/1768_2.png) [@meditans](https://swi-prolog.discourse.group/u/meditans)\
**Post date:** [August 12, 2020, 7:30pm UTC](https://swi-prolog.discourse.group/t/the-pack-reif-couldnt-be-installed-due-to-a-404-and-seems-now-removed/2469/8 "2020-08-12T19:30:32Z")

</div>

Sorry for the delay, as I needed this on my laptop too, I went ahead and created the repo at [https://github.com/meditans/reif](https://github.com/meditans/reif)

It shows up automatically at [https://www.swi-prolog.org/pack/list](https://www.swi-prolog.org/pack/list) so I’ll mark this as solved 🙂
