andsanmar

Get Ciao

Download last version of Ciao from the official repository: Github ciao repository When you have it, locate the folder on the location you want to have it (i.e. ~/.ciao)

Dependencies requirements

• Remember to have curl installed and the rest of dependencies described on Ciao installation guide

Install development enviroment for Ciao Prolog

Go to the location of the folder and execute ciao-boot.sh get devenv