Did you know ... Search Documentation:
Pack assertions -- README.md

assertions

Ciao Assertion Reader for SWI-Prolog

Installation

To install the Ciao assertion reader, just follow the next sequence of commands in your SWI-Prolog shell:

$ swipl

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

In Ciao the assertion language is already part of the system so you don't need extra steps to install it.