# Prolog for Verification, Analysis and Transformation Tools

arXiv: https://arxiv.org/abs/2008.02933 · HTML: https://mlsanity.com/paper/2008.02933/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Aug 2020.

## Built on by (most cited first, 1 of 1)

- [Encoding Event-B Proof Rules in Prolog: An Interactive Sequent Prover for ProB](https://mlsanity.com/paper/2607.21191/) (2026)

## Abstract (arXiv)

This article examines the use of the Prolog language for writing verification, analysis and transformation tools. Guided by experience in teaching and the development of verification tools like ProB or specialisation tools like ECCE and LOGEN, the article presents an assessment of various aspects of Prolog and provides guidelines for using them. The article shows the usefulness of a few key Prolog features. In particular, it discusses how to deal with negation at the level of the object programs being verified or analysed.