Abstract

I held my sword in front, and approached the village cautiously. I would have to slaughter the terrible Yook monster disguised in one of the hapless villagers’ homes. I pushed the doors open, ready to hack and slash. To my shock, all of the villagers looked exactly the same! Alloy is MIT’s Daniel Jackson’s ground-breaking new logic programming language which turns the whole notion of logic programming upside down — nay, turns programming as a whole upside down.