Well, it IS Prolog. Ciao conforms to the ISO Prolog standard. It adds a lot of things through a preprocessor though.

https://ciao-lang.org/documentation.html here in the "Some Tutorials and Presentations" section you can find some tutorials and presentations