Passing the years, changing machines, I have lost my downloaded pack(tor), which implements 'Extensible Search with Hookable Disjunction’.
The zip archives are not more available.
Does someone still have it (note: pack(mutable_variables) also required) ?
1 Like
While not the best solution of just the zip, if you scroll down to the bottom of the page
and click on the links for the individual files many still return the text of the file, might be able to reconstruct it from those. 
Wayback Machine does have a copy, did not download to check details.
https://web.archive.org/web/20160629144924/https://users.ugent.be/~tschrijv/tor/tor-1.0.4.zip
@TomSchrijvers might know the new location? Tom, if you list it I can recover the zip file from the server. Next, we probably should turn it into a github repo and make the pack page point there.
2 Likes
Thanks Eric, I have used both the zip provided by Wayback Machine and the manual reconstruction, as you suggested, for the mutable_variables package.
1 Like
Jan, thanks for looking into this.
I struggled a bit to install from the local zips or folders, and then opted for
> swi pack install .
from the appropriate folders, after hacking some minor detail.
My packs are here:
http://people.cs.kuleuven.be/tom.schrijvers/tor/mutable_variables-1.0.0.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/tor-1.0.0.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/tor-1.0.1.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/tor-1.0.2.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/tor-1.0.4.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/tor.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/type_check-1.0.0.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/type_check-1.0.1.zip
http://people.cs.kuleuven.be/tom.schrijvers/tor/unionfind-1.0.0.zip
1 Like
@CapelliC Thank you so much for mentionning this pack !
I did not know it existed.
I recently needed to use iterative deepening and tried to use call_with_depth_limit/3.
Of course, I realized that it was not adapted and managed to implement it here: units/prolog/units.pl at ba518156e3c950a4051cc98f2dc254f9d2dd9715 · kwon-young/units · GitHub
I thought I managed quite well to separate the logic from the iterative deepening control but I would have never realized that I could use a generic hookable or (or tor) implementation !
Can somebody update the links so that it is easily installable ?
Thanks Tom. All most recent versions link to the correct location again. I am afraid the download count is reset due to some limitations that do not allow changing the download URL for the same version. So, deleting this version and uploading from the new location was the only (quick) way.
Pages should be updated within an hour.
2 Likes
Many thanks Tom
@CapelliC @kwon-young It’s great to hear that you are interested in using Tor!
1 Like