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