Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

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

VersionSHA1#DownloadsURL
0.15317649cfdb589d64b962bc262a91b7cfe61a0493https://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.