λProlog: Logic programming in higher-order logic

Program = Proof

Program = Proof

The Chemical Abstract Machine

Psyche: a modular platform for automated or interactive theorem proving