Did you know ... | Search Documentation: |
Packs (add-ons) for SWI-Prolog |
Title: | Ciao Assertions Reader for SWI-Prolog |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 0.0.1 |
SHA1 sum: | ffb27a10fe91d0cb3aeb991141afdab723ca8480 |
Author: | Edison Mera Menendez http://www.edisonm.com/ |
Maintainer: | Edison Mera Menendez http://www.edisonm.com/ |
Packager: | Edison Mera Menendez http://www.edisonm.com/ |
Home page: | https://github.com/edisonm/assertions |
Download URL: | https://github.com/edisonm/assertions.git |
Requires: | xlibrary |
No reviews. Create the first review!.
Version | SHA1 | #Downloads | URL |
---|---|---|---|
0.0.1 | cd20f420cb889bc7dc56ae37ff4e537fefb58a5b | 1 | https://github.com/edisonm/assertions.git |
74aa504f4e117f6cf3717b33ddc01bb3785c94b7 | 2 | https://github.com/edisonm/assertions.git | |
c40afc16c6d1b0def3ff41e66ff4af6c82eae3dc | 4 | https://github.com/edisonm/assertions.git | |
7d19885b73705d6cb52b20735cc37d6ced3c5741 | 4 | https://github.com/edisonm/assertions.git | |
61fcf24f9d82035e628f4c2a0e0bb96bf6c5a7c2 | 1 | https://github.com/edisonm/assertions.git | |
5d946b6a44bea64824ec99e0cfd683d8099754d1 | 1 | https://github.com/edisonm/assertions.git | |
804c73721d58eab9bfbf137888c47ed988de22a9 | 1 | https://github.com/edisonm/assertions.git | |
975d9ceb45d87a22abf4add0b8fff0c0de8cf5db | 2 | https://github.com/edisonm/assertions.git | |
ffb27a10fe91d0cb3aeb991141afdab723ca8480 | 1 | https://github.com/edisonm/assertions.git | |
f2c97e66c57223eaba80ba8037baeee011af5f6f | 1 | https://github.com/edisonm/assertions.git | |
7ca7cebad9a0ed29022123c07edc8efd5da88c2c | 1 | https://github.com/edisonm/assertions.git | |
93175bb0e204fd241581022e9e56c82e5d1ea8b2 | 1 | https://github.com/edisonm/assertions.git | |
75e19cfac073c87a8824e8abcb91d44ecd753735 | 1 | https://github.com/edisonm/assertions.git | |
d52e779876f6f964ac68d15dce10835a80e99716 | 2 | https://github.com/edisonm/assertions.git | |
3759793d35756cf69f54dad88768af614d74918e | 1 | https://github.com/edisonm/assertions.git | |
0a6cd4e0ccdf9076ec5d2b388fa54063bfde8ad5 | 1 | https://github.com/edisonm/assertions.git | |
3ba38dc7b868c9182ba1c3b0bed4262af2f78921 | 1 | https://github.com/edisonm/assertions.git | |
f719047eda92bf5072eb69901d4b261764922b3f | 1 | https://github.com/edisonm/assertions.git | |
e49f1f7c154352144e5a3b4e7c8922369da1007a | 1 | https://github.com/edisonm/assertions.git | |
f445d86ae928873b9bbe9de80176c812e22a866b | 1 | https://github.com/edisonm/assertions.git | |
5c4b78376826a97abf795d418ba8056a1aa3f3b6 | 1 | https://github.com/edisonm/assertions.git | |
101ee4a5a4a84521a4a77fb655e723d1d54e73b0 | 2 | https://github.com/edisonm/assertions.git | |
830f1b708d7190a4abd053a0ae0bae5c8fc40633 | 1 | https://github.com/edisonm/assertions.git | |
49dbf7df5be63742d2cbb9ccbb3e4d03e79bf17e | 1 | https://github.com/edisonm/assertions.git | |
7348851eb9a2684617edcbc998d82fe1c050ab14 | 1 | https://github.com/edisonm/assertions.git | |
54179819173469b52d85ed069f597fa10e73c3fe | 2 | https://github.com/edisonm/assertions.git | |
93e04cad15c532e203c2b2c1afd5a005c63ca5b5 | 1 | https://github.com/edisonm/assertions.git | |
ed7b1c052b2d32da23f663b9658a814c5e4b6630 | 1 | https://github.com/edisonm/assertions.git | |
78d94bb83fddd0765b019054e1939f044099c175 | 3 | https://github.com/edisonm/assertions.git | |
094294bb1f8febaedf4e7dc95d18dbe6b3402b72 | 2 | https://github.com/edisonm/assertions.git | |
7fd63c42d6458a7534a59109cb5fd1dd5f82876e | 1 | https://github.com/edisonm/assertions.git | |
b53b5d715f0a1b39a20b86025d8c3a28e88deec7 | 3 | https://github.com/edisonm/assertions.git | |
bd56d16a691f9ab689cd2910a5d966d929f7ae44 | 2 | https://github.com/edisonm/assertions.git | |
4b99999d7064012dacd072850f0db5ec76a06e64 | 1 | https://github.com/edisonm/assertions.git | |
a5f2f001779163c75282c8b06b72fc0b5b6b069c | 5 | https://github.com/edisonm/assertions.git | |
baa880088fab0bd2090cd8511e0f6c375c3836d0 | 1 | https://github.com/edisonm/assertions.git | |
0adf65382ab45c968e73e59f7508b843ff7065d1 | 4 | https://github.com/edisonm/assertions.git | |
cb9678cb252d4282e74d7a2a9d890d59c16861c7 | 2 | https://github.com/edisonm/assertions.git | |
d8270223e8ac08b974f485a5f83e5d34c18f2333 | 2 | https://github.com/edisonm/assertions.git | |
63876e3df0be47d4935b267df367c77b91cbb997 | 6 | https://github.com/edisonm/assertions.git | |
5a539c4d0963b693be3e884cf93f6c57082d8c4f | 2 | https://github.com/edisonm/assertions.git | |
0b32d23708c4177af5abb72eb2a5051b5e958b3b | 1 | https://github.com/edisonm/assertions.git | |
f4efc3548127057f75caf79d0939aeb481bd508f | 2 | https://github.com/edisonm/assertions.git | |
48b2c36fb73beed1fd94f8f6a504b0ed3c644d67 | 2 | https://github.com/edisonm/assertions.git | |
17909351d84b054ef17b4130fa078e0aa2357b0e | 8 | https://github.com/edisonm/assertions.git |
Assertion Reader for SWI-Prolog
To install the assertion reader, just follow the next sequence of commands in your SWI-Prolog shell:
$ swipl
?- pack_install('https://github.com/edisonm/assertions.git')
.
true.
Based on the assertion reader of Ciao Prolog
Pack contains 38 files holding a total of 256K bytes.