Did you know ... | Search Documentation: |
Packs (add-ons) for SWI-Prolog |
Title: | Tor: Extensible Search with Hookable Disjunction |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 1.0.4 |
SHA1 sum: | 93183fd47c07e9adb774f0c3cf72eaa5f9c698af |
Author: | Bart Demoen <Bart.Demoen@cs.kuleuven.be> |
Benoit Desouter <Benoit.Desouter@UGent.be> | |
Markus Triska <triska@dbai.tuwein.ac.at> | |
Tom Schrijvers <Tom.Schrijvers@UGent.be> | |
Packager: | Benoit Desouter <Benoit.Desouter@UGent.be> |
Requires: | mutable_variables |
No reviews. Create the first review!.
Version | SHA1 | #Downloads | URL |
---|---|---|---|
1.0.4 | 93183fd47c07e9adb774f0c3cf72eaa5f9c698af | 23 | http://users.ugent.be/~tschrijv/tor/tor-1.0.4.zip |
1.0.3 | 37bb8491d2e36daf64aa08abeb84f31021032b83 | 4 | http://users.ugent.be/~bdsouter/tor/tor-1.0.3.zip |
1.0.2 | d2566e5c4b17e44e61cec38274b0b77b9f8f2436 | 6 | http://users.ugent.be/~tschrijv/tor/tor-1.0.2.zip |
1.0.1 | 97b096f0ffce6997f3a9d8b630a9974342cb9e7f | 7 | http://users.ugent.be/~tschrijv/tor/tor-1.0.1.zip |
1.0.0 | a1c44c9319d88cf105efc565be5e699aa4645286 | 4 | http://users.ugent.be/~tschrijv/tor/tor-1.0.0.zip |
1.0.4 Scoped implementation of search/1.
1.0.3 Cleanup of version 1.0.2, now with documentation.
Based on the paper:
Tor: Extensible Search with Hookable Disjunction Tom Schrijvers, Bart Demoen, Markus Triska and Benoit Desouter Submitted to SCP
Allows you to use tor with:
:- use_module(library(tor_clpfd))
.
:- use_module(library(tor))
.
:- use_module(library(generic_search))
.
README.txt : this file
visualization/ log_to_tree.pl : convert log handler output into postscript log_to_pdf.sh : generates pdf from log file log_to_tree.pl : generates metapost instructions from log file trees.mp : metapost drawing instructions
examples/ : examples, in particular a file that shows the new features introduced version 1.0.2
Thanks to Jan Wielemaker, Carlo Capelli and Paulo Moura for their useful comments.
Pack contains 39 files holding a total of 186K bytes.