As I mentioned in the irc channel, I seem to recall having a
reif package which was failing with a 404,
?- 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 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?