Wolf, Goat, and Cabbage In Two Styles!!
summary
Implements the wolf‑goat‑cabbage puzzle in Inform 7 and Alloy, showing Inform’s rule engine and natural‑language syntax versus Alloy’s relational model and visualization. Alloy models time via snapshot frames and an ordering module, needs explicit facts to force two riverbanks, and the finished Alloy solution is about 40 lines of Alloy and produces a correct sequence of states. Inform uses a standard rules library and action objects to handle commands, letting the model read like English while the Alloy model proves exactness.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 1:08Two programming languages
- 2:10Inform 7 syntax
- 4:16Interactive fiction with Inform 7
- 6:44Alloy’s modeling approach
- 9:34Modeling the puzzle
- 10:36Time and movement in Alloy
- 12:3940-line solution
- 13:22Alloy applications
- 14:04Why these languages
