(deffacts ceva
  (set a b c d e f g h)
)

(defrule power-set
  (set $?beg ?x $?end)
  =>
  (assert (set $?beg $?end))
)