How to use Ciao Prolog

"How to use Ciao Prolog" is not written yet.