I tried to test pack rtp_qsndqs today, it depends on pack type_check. It turns out the URL where type_check was hosted has been completely stripped of all content, the base URL only showing the default server page.
Assuming that this isn’t just a temporary glitch, is there some kind of process for removing such packs? What about those that are dependent upon them?
Also, the url for the tor pack is completely dead. Anyone has a copy of the tor pack? It has contributions by well recognized people in the prolog community, so if someone can upload it to gitlab it would be great.
Looks like the last version in the Wayback Machine is 1.0.2:
https://web.archive.org/web/20170707032902/http://users.ugent.be/~tschrijv/tor/
I am having the same problem. The rtp_qsndqs pack is fine, and it works when I manually remove the typecheck code. Does the pack server keep the copy of each pack/version?
Btw. I’ve found the original pack is still available at https://people.cs.kuleuven.be/~tom.schrijvers/tor/type_check-1.0.1.zip
You can also find the sources at
https://www.swi-prolog.org/pack/file_details/type_check/prolog/type_check.pl?show=src
https://www.swi-prolog.org/pack/file_details/type_check/prolog/functor_constraint.pl?show=src
The documentation for pack_install is slightly misleading; after I downloaded type_check-1.0.1.zip to my Downloads directory, I could install it with
?- pack_install(type_check, [url('file:///home/peter/Downloads/type_check-1.0.1.zip')]).
This also worked (reply “n” to the question “Verify package status (anonymously)”):
?- pack_install(type_check, [url('https://people.cs.kuleuven.be/~tom.schrijvers/tor/type_check-1.0.1.zip')]).