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.

?- pack_install(fluents).


To use the fluents module in your program, include this line:

:- use_module(library(fluents)).

For further documentation, please refer to the module documentation at http://www.swi-prolog.org/pack/file_details/fluents/prolog/fluents.pl