Hi Jean-Luc,

I have been unable to find a READY MADE test suite for evaluating the Ciao system. Is there one somewhere? I have (successfully?) installed Ciao according the main README.md but it's HUGE BLOB with no obvious "entry point" (some kind of extended "Hello World")

Ciao conforms to the ISO-Prolog standard, so you can run any standard Prolog program. You have some minimal examples in core/examples. And the libraries and bundles have many hundreds of thousands of lines of code and examples... ;-)

In particular, you have a hw.pl in core/examples. If you want to compile and run it, just do:

$ ciaoc hw

which will give you a "hw" executable, and run it:

$ hw Hello world!

Hit return to proceed...

Or, you can start a standard top level by just typing "ciao" or "prolog":

$ ciao Ciao 1.19-715-gac339d1428 (2021-02-25 21:08:57 +0100) [DARWINx86_64] ?-

There you can load programs, make queries, debug them, etc. See the "Getting started" part of the manual, "using Ciao from the command line":

http://ciao-lang.org/ciao/build/doc/ciao.html/CommandLineUse.html

We do recommend using an IDE. There is a very good Ciao Emacs-based IDE, which we encourage you to use, and other specific ones for other IDEs, and you can always use the Prolog mode of any IDE for editing and running programs with Ciao.

I could not find either any PDF documentatio which would mirror https://ciao-lang.org/documentation.html (willing to browse it offline)

To get a pdf you need to generate the documentation. Make sure you have "texlive" (brew install texlive or equivalent). Just do, at the Ciao root directory:

ciao build --docs

This will leave the Ciao manual (ciao.pdf) and all other Ciao system manuals inside: build/doc/

Could you point me to the proper sources?

Hope that helps!

Cheers,

Manuel Hermenegildo

On Thursday, March 11, 2021 at 16:18:22 (+0100), Jean-Luc Delatre wrote:

Hello,

I have been unable to find a READY MADE test suite for evaluating the Ciao system. Is there one somewhere? I have (successfully?) installed Ciao according the main README.md but it's HUGE BLOB with no obvious "entry point" (some kind of extended "Hello World") I could not find either any PDF documentatio which would mirror https://ciao-lang.org/documentation.html (willing to browse it offline)

Could you point me to the proper sources?

Thanks for your attention.

Best regards,

Jean-Luc Delatre

-- _______________________________________________ Ciao-users mailing list Ciao-users(a)cliplab.org http://cliplab.org/cgi-bin/mailman/listinfo/ciao-users