|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:
In Ciao the assertion language is already part of the system so you don't need extra steps to install it.