The first sentence of the link that was submitted is "Ciao is a general purpose, multi-paradigm programming language in the Prolog family." It's not really a spoiler.