The Hipster Menu Generator^™

The Laws of Artisanal Dining

The program never tells clingo how to write a menu. That would be prescriptive, and frankly a little corporate. It lists the vocabulary, lets the solver choose, and forbids anything that breaks a law:

1. No ingredient appears twice anywhere on the menu. Repetition is for chains.
2. Every dish has a buzzword: foraged, pickled, heritage, fermented, house-made, or local. On the menu, the buzzword is underlined, so you know where to look impressed.
3. Ramps are mandatory. This is not up for discussion.
4. At most one dish is deconstructed. We're not animals.
5. Every large plate costs more than every small plate. The small plates are still not cheap.
6. Each cocktail gets its own spirit, vessel, garnish and name, and at least one involves smoke. A cocktail without smoke is just a drink.
7. Prices go up with pretension: $8, $18 or $11 plus the pretension of everything on the plate or in the glass. Honesty is our only affordable ingredient.

Pursue peak pretension adds a single line, a #maximize over total pretension, and shows each more insufferable menu as clingo finds it. Proving nothing beats the best one takes far longer than anyone should wait, so it stops after a few seconds. We call this restraint.