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

Package "rtchecks"

Title:Run-Time Checking for Ciao and SWI-Prolog
Rating:Not rated. Create the first rating!
Latest version:0.0.1
SHA1 sum:e9a4920c62a84dc8b5428aae825a65c05fbd1473
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/rtchecks
Download URL:https://github.com/edisonm/rtchecks.git
Requires:assertions

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
0.0.11f77a83f739b710e47359398802d61e079cbdaf11https://github.com/edisonm/rtchecks.git
3be55886858306d88d1a38f9f144a5cb167d03241https://github.com/edisonm/rtchecks.git
46624e6b699baf27bf4ae5a45957fa36ad7c10ca1https://github.com/edisonm/rtchecks.git
53a8bd1326b858b39f6df485935bbe7640a0cf444https://github.com/edisonm/rtchecks.git
77dd8f9d6275336e4d0effc9b0824ae68faf34291https://github.com/edisonm/rtchecks.git
7f311777e045bc3929673c6df4ed086cf82e9fd71https://github.com/edisonm/rtchecks.git
886dfae030252e670e57d1b5eb9be8332222712a1https://github.com/edisonm/rtchecks.git
8daa9d1c76b8233abc6b03aadf56098071adde311https://github.com/edisonm/rtchecks.git
94917a83c0059fb2ed3584b90142a9c27da277841https://github.com/edisonm/rtchecks.git
9867b86f71e0cdbda67ee6ac7fbd82ce487dba592https://github.com/edisonm/rtchecks.git
a874149f0690d905360ff665b325399a027cca841https://github.com/edisonm/rtchecks.git
b0fb43fe48939720248e83af6aaea073bf02dc141https://github.com/edisonm/rtchecks.git
d2d0947528e939dbcb51d3b4fb1112f55004c2251https://github.com/edisonm/rtchecks.git
d671341e8b29479b8aefcd3e81ccc6156e3eccc33https://github.com/edisonm/rtchecks.git
e9a4920c62a84dc8b5428aae825a65c05fbd14733https://github.com/edisonm/rtchecks.git

rtchecks

Run-Time Checking of Assertions for Ciao and SWI-Prolog

Installation

To install the Run-Time checker of assertions, just follow the next sequence of commands in your SWI-Prolog shell:

$ swipl

?- pack_install('https://github.com/edisonm/rtchecks.git'). true.

In Ciao the Run-Time checker is already part of the system so you don't need extra steps to install it.

Contents of pack "rtchecks"

Pack contains 36 files holding a total of 91.5K bytes.