12 lines
305 B
Common Lisp
12 lines
305 B
Common Lisp
(define (task)
|
|
(amb-run zebra-puzzle (amb-make-context) (iota 5)))
|
|
|
|
(task)
|
|
→
|
|
0 (norvegian yellow dunhill cats water)
|
|
1 (dane tea blue blend horse)
|
|
2 (milk english red pallmall birds)
|
|
3 (green coffee german prince 🐴)
|
|
4 (swede dog white bluemaster beer)
|
|
----------
|
|
→ #f
|