Managing Time-Shiftable Devices
Winning Cluedo
Definite clause grammars and symbolic differentiation
The simplicity of Prolog
The advantage of advantage
Tabletop role-playing games and probability generating functions