---
title: "Predicate Logic: A Calculus for the Formal Derivation of Programs"
authors:
  - "Keith L. Clark"
  - "Sharon Sickel"
doi: ""
url: "https://ijcai.org/proceedings/1977/96"
pdf: "https://ijcai.org/proceedings/1977/0096.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "419-419"
track: "Aids to Programming"
keywords:
---

# Predicate Logic: A Calculus for the Formal Derivation of Programs

Keith L. Clark, Sharon Sickel

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 419-419.

## Abstract

We show how predicate logic can be used to derive programs from axiomatic specifications. We also show how its proof theory can be used to analyse, and re-characterize, the computations of a program.