josepablocam

(declare-datatypes () ((Pizza Pepperoni Margherita BBQ Hawaiian Peppers Cheese Sausage)))
(declare-const emily Pizza)
(declare-const owen Pizza)
(declare-const yasmine Pizza)
(declare-const nathan Pizza)
(declare-const wendy Pizza)
(declare-const rachel Pizza)
(declare-const kevin Pizza)

(assert 

josepablocam

//http://en.wikipedia.org/wiki/Look-and-say_sequence
ls:{{raze (string 1_deltas w,count x),'x w:where differ x}\[x;enlist "1"]}