|Did you know ...||Search Documentation:|
|Pack fluents -- README.md|
Access all solutions of a Prolog goal without backtracking
Assuming that you have SWI-Prolog >= 6.3 with libarchive installed, you can simply install this pack by entering the following at the SWI-Prolog prompt.
To use the fluents module in your program, include this line:
For further documentation, please refer to the module documentation at http://www.swi-prolog.org/pack/file_details/fluents/prolog/fluents.pl