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

Package "assertions"

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

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
0.0.1cd20f420cb889bc7dc56ae37ff4e537fefb58a5b1https://github.com/edisonm/assertions.git
74aa504f4e117f6cf3717b33ddc01bb3785c94b72https://github.com/edisonm/assertions.git
c40afc16c6d1b0def3ff41e66ff4af6c82eae3dc4https://github.com/edisonm/assertions.git
7d19885b73705d6cb52b20735cc37d6ced3c57414https://github.com/edisonm/assertions.git
61fcf24f9d82035e628f4c2a0e0bb96bf6c5a7c21https://github.com/edisonm/assertions.git
5d946b6a44bea64824ec99e0cfd683d8099754d11https://github.com/edisonm/assertions.git
804c73721d58eab9bfbf137888c47ed988de22a91https://github.com/edisonm/assertions.git
975d9ceb45d87a22abf4add0b8fff0c0de8cf5db2https://github.com/edisonm/assertions.git
ffb27a10fe91d0cb3aeb991141afdab723ca84801https://github.com/edisonm/assertions.git
f2c97e66c57223eaba80ba8037baeee011af5f6f1https://github.com/edisonm/assertions.git
7ca7cebad9a0ed29022123c07edc8efd5da88c2c1https://github.com/edisonm/assertions.git
93175bb0e204fd241581022e9e56c82e5d1ea8b21https://github.com/edisonm/assertions.git
75e19cfac073c87a8824e8abcb91d44ecd7537351https://github.com/edisonm/assertions.git
d52e779876f6f964ac68d15dce10835a80e997162https://github.com/edisonm/assertions.git
3759793d35756cf69f54dad88768af614d74918e1https://github.com/edisonm/assertions.git
0a6cd4e0ccdf9076ec5d2b388fa54063bfde8ad51https://github.com/edisonm/assertions.git
3ba38dc7b868c9182ba1c3b0bed4262af2f789211https://github.com/edisonm/assertions.git
f719047eda92bf5072eb69901d4b261764922b3f1https://github.com/edisonm/assertions.git
e49f1f7c154352144e5a3b4e7c8922369da1007a1https://github.com/edisonm/assertions.git
f445d86ae928873b9bbe9de80176c812e22a866b1https://github.com/edisonm/assertions.git
5c4b78376826a97abf795d418ba8056a1aa3f3b61https://github.com/edisonm/assertions.git
101ee4a5a4a84521a4a77fb655e723d1d54e73b02https://github.com/edisonm/assertions.git
830f1b708d7190a4abd053a0ae0bae5c8fc406331https://github.com/edisonm/assertions.git
49dbf7df5be63742d2cbb9ccbb3e4d03e79bf17e1https://github.com/edisonm/assertions.git
7348851eb9a2684617edcbc998d82fe1c050ab141https://github.com/edisonm/assertions.git
54179819173469b52d85ed069f597fa10e73c3fe2https://github.com/edisonm/assertions.git
93e04cad15c532e203c2b2c1afd5a005c63ca5b51https://github.com/edisonm/assertions.git
ed7b1c052b2d32da23f663b9658a814c5e4b66301https://github.com/edisonm/assertions.git
78d94bb83fddd0765b019054e1939f044099c1753https://github.com/edisonm/assertions.git
094294bb1f8febaedf4e7dc95d18dbe6b3402b722https://github.com/edisonm/assertions.git
7fd63c42d6458a7534a59109cb5fd1dd5f82876e1https://github.com/edisonm/assertions.git
b53b5d715f0a1b39a20b86025d8c3a28e88deec73https://github.com/edisonm/assertions.git
bd56d16a691f9ab689cd2910a5d966d929f7ae442https://github.com/edisonm/assertions.git
4b99999d7064012dacd072850f0db5ec76a06e641https://github.com/edisonm/assertions.git
a5f2f001779163c75282c8b06b72fc0b5b6b069c5https://github.com/edisonm/assertions.git
baa880088fab0bd2090cd8511e0f6c375c3836d01https://github.com/edisonm/assertions.git
0adf65382ab45c968e73e59f7508b843ff7065d14https://github.com/edisonm/assertions.git
cb9678cb252d4282e74d7a2a9d890d59c16861c72https://github.com/edisonm/assertions.git
d8270223e8ac08b974f485a5f83e5d34c18f23332https://github.com/edisonm/assertions.git
63876e3df0be47d4935b267df367c77b91cbb9976https://github.com/edisonm/assertions.git
5a539c4d0963b693be3e884cf93f6c57082d8c4f2https://github.com/edisonm/assertions.git
0b32d23708c4177af5abb72eb2a5051b5e958b3b1https://github.com/edisonm/assertions.git
f4efc3548127057f75caf79d0939aeb481bd508f2https://github.com/edisonm/assertions.git
48b2c36fb73beed1fd94f8f6a504b0ed3c644d672https://github.com/edisonm/assertions.git
17909351d84b054ef17b4130fa078e0aa2357b0e8https://github.com/edisonm/assertions.git

assertions

Assertion Reader for SWI-Prolog

Installation

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

Contents of pack "assertions"

Pack contains 38 files holding a total of 256K bytes.