Did you know ... | Search Documentation: |
Packs (add-ons) for SWI-Prolog |
Title: | Access all solutions of a goal without backtracking |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 0.1.2 |
SHA1 sum: | 721e5fd56abb0de0eb54fe210dc7ebbdd464d1e0 |
Author: | Kilian Evang <kilian.evang@gmail.com> |
Home page: | https://github.com/texttheater/fluents/ |
Download URL: | https://github.com/texttheater/fluents.git |
No reviews. Create the first review!.
Version | SHA1 | #Downloads | URL |
---|---|---|---|
0.1.0 | 75bad09a7d1f69fd1c1442f0d403b0e94930cf61 | 11 | https://github.com/texttheater/fluents.git |
0.1.2 | 721e5fd56abb0de0eb54fe210dc7ebbdd464d1e0 | 17 | https://github.com/texttheater/fluents.git |
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
Pack contains 4 files holding a total of 7.3K bytes.