En la lógica de programación, un programa consiste en una colección de axiomas y reglas.