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

Version	SHA1	#Downloads	URL
0.0.1	cd20f420cb889bc7dc56ae37ff4e537fefb58a5b	2	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	10	https://github.com/edisonm/assertions.git
	cd514bdc694e2883c81e54a69e7a35e7e14783e6	2	https://github.com/edisonm/assertions.git
	34b6d5c3800366bf115b27a7314e4e2991bcf442	1	https://github.com/edisonm/assertions.git
	73c2a33f31573957cf8cc170b38aea68a11ea82c	1	https://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.