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