The Fatal Choice

Who Killed Prolog? (2010)

Recursion got into programming: intrigue, betrayal, and advanced semantics

Ventilated Prose (2009)

How Recursion Got into Programming (2014)

Programming = Language + X

A Bridge Too Far: E.W. Dijkstra and Logic

Who Killed Prolog? (2010)

Ventilated Prose (2009)

Is Software Engineering Possible?

Children of the Miracle: from Algol to Prolog

IA or AI?

How recursion got into programming: a comedy of errors

Interview with Alan Robinson, Inventor of Resolution Logic (2009)

Who Killed Prolog?

How recursion got into programming: a comedy of errors