The Ciao Prolog systemCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular. It features: constraint logic programming and, in particular, Prolog, supporting the ISO-Prolog standard, multiparadigm programming (meta-programming, higher-order, concurrency, functions, etc.) user packages for syntactic and semantic language extensions, and in
