| Did you know ... | Search Documentation: |
 | Packs (add-ons) for SWI-Prolog |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
Package "sb_assert"
| Title: | Stateful, backtrackable assertions |
|---|---|
| Rating: | Not rated. Create the first rating! |
| Latest version: | 0.3 |
| SHA1 sum: | 0e6e985558488ba1185c9f4767eb0b5bbf0205f4 |
| Author: | Geoffrey Churchill <geoffrey.a.churchill@gmail.com> |
| Home page: | https://github.com/GeoffChurch/sb_assert |
Reviews
No reviews. Create the first review!.
Details by download location
| Version | SHA1 | #Downloads | URL |
|---|---|---|---|
| 0.3 | 0e6e985558488ba1185c9f4767eb0b5bbf0205f4 | 2 | https://github.com/GeoffChurch/sb_assert/archive/0.3.zip |
| 0.2 | d5eef9d917fa79ce1a9df83554b7750a45b6cd88 | 1 | https://github.com/GeoffChurch/sb_assert/archive/0.2.zip |
sb_assert
Stateful, backtrackable assertions in SWI-Prolog.
This uses the CHR store to persist state (aka logic variables) in assertions.
There may be bugs!
To install:
$ swipl pack install sb_assert
See the [tests](t/) for examples.
Contents of pack "sb_assert"
Pack contains 6 files holding a total of 38.1K bytes.