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

General
1

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 (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?

2

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
which is linked from here:
https://www.metalevel.at/prolog/metapredicates

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

2 Likes
3

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.

4

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 …

5

Should the repo be put under a particular organization in github? Like, 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

6

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

1 Like
7

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.

3 Likes
8

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

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