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