Seven Laws of Artisanal Dining, written as logic. Every menu clingo finds obeys all of them: ramps are mandatory, nothing appears twice, and the more pretentious a dish is, the more it costs.
The program never says how to write a menu. It lists the vocabulary, lets clingo choose, and forbids anything that breaks a law:
Most pretentious adds one line, a #maximize over total pretension, and shows each better 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.