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


Ciao Assertion Reader for SWI-Prolog


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.