| 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 "prolog_verify_type"
| Title: | A more declarative approach to verify the type of a prolog term |
|---|---|
| Rating: | Not rated. Create the first rating! |
| Latest version: | 0.1 |
| SHA1 sum: | 5317649cfdb589d64b962bc262a91b7cfe61a049 |
| Author: | Risto Stevcev <risto1@gmail.com> |
Reviews
No reviews. Create the first review!.
Details by download location
| Version | SHA1 | #Downloads | URL |
|---|---|---|---|
| 0.1 | 5317649cfdb589d64b962bc262a91b7cfe61a049 | 3 | https://github.com/Risto-Stevcev/prolog_verify_type.git |
prolog_verify_type
A more declarative approach to verify the type of a prolog term
Usage
?- X = foo, atom_t(X). X = foo. ?- atom_t(X), X = foo. X = foo.
License
See LICENSE
Contents of pack "prolog_verify_type"
Pack contains 6 files holding a total of 4.0K bytes.
- .gitignore(17 bytes)
- LICENSE(1.5K bytes)
- README.md(203 bytes)
- pack.pl(163 bytes)
- prolog
- verify_type.pl(733 bytes)
- test.pl(1.5K bytes)