////////////////////////////// // SBDS for gnu-prolog // // // // Author: Guillaume ARNAUD // // Date: 04/11/2003 // // Version: 0.2 // ////////////////////////////// INSTALLATION: -You must have gprolog (tested with GNU Prolog 1.2.8). -Unzip and untar gprolog-sbds-0.2 in a directory: ? > tar zxvf gprolog-sbds-0.2.tar.gz -Enter in the gprolog-sbds-0.2 directory: ? > cd gprolog-sbds-0.2 -Change in the Makefile the appropriate paths and other parameters. -type make ? > make ----- USE: Now your have an executable 'sbds' (if you don't change the $(RUNNAME) in Makefile). You can use it for use 'fd_labeling_sbds' predicat with your own or given examples in order to break symmetry. If you want to compile your own examples you have to add theim in the Makefile and do 'make run' to recompile. You can too compile the free C version 'sbds_allpl'. For that do 'make allpl' and use 'sbds_allpl' executable (you can change the name in the Makefile). But this version is interesting mainly if you want to include sbds labeling from the interpreter gprolog because it is less effective than sbds version with C (for the moment). So you can include 'sbds_allpl.pl' file in your interpreter gprolog that give you symmetry tools for the labeling. Do 'make all' for compile 'sbds' and 'sbds_allpl'. ----- WHAT'S CHANGED? A version in only gprolog has been added. Now the user can include the file 'sbds_allpl.pl' in gprolog interpreter. The inconvenient is this program doesn't manage difficult problems (with a large research space).