We provide an overall description of the Ciao multiparadigm programming system
emphasizing some of the novel aspects and motivations behind its design and …

Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

The technique of Abstract Interpretation has allowed the development of very sophisticated
global program analyses which are at the same time provably correct and practical. We …

This is the Reference Manual for the Ciao Prolog development system. It contains basic
information on how to install Ciao Prolog and how to write, debug, and run Ciao Prolog …

Many applications require conformance with specifications that constrain the use of
resources, such as execution time, energy, bandwidth, etc. We present a configurable …

The very nature of smart contracts and blockchain platforms, where program execution and
storage are replicated across a large number of nodes, makes resource consumption …

Abstract Proof-Carrying Code (PCC) is a general approach to mobile code safety in which
programs are augmented with a certificate (or proof). The practical uptake of PCC greatly …

We present a framework that unifies unit testing and run-time verification (as well as static
verification and static debugging). A key contribution of our overall approach is that we …

We present in a tutorial way some ideas developed in the context of the Ciao Prolog system
that we believe could be useful for the future evolution of Prolog. We concentrate primarily …

State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature
and sophisticated. They allow inferring a wide variety of global properties including …