Ciao is a general-purpose programming language in the Prolog family with a logic-based kernel,...