Logic and Programming 📜 Representing Game Dialogue as Expresions in First-Order Logic 📜 The Event Calculus as a Linear Logic Program Purely Functional Lazy Non-deterministic Programming 📜 On the Meanings of the Logical Constants and the Justifications of the Logical Laws