(deffacts date
  (fapt1 a b c alpha e)
  (fapt5 alpha)
  (fapt2 x)
  (fapt3 "alpha beta gamma")
  (fapt4 alpha beta gamma)
)

(defrule test-create
  (fapt1 $?x)
  (fapt2 ?y)
  =>
  (bind $?z (create$ $?x ?y))
  (printout t "test-create:" $?z crlf)
)

(defrule test-delete
  (fapt1 $?x)
  (fapt2 $?y)
  =>
  (bind $?z (create$ $?x $?y))
  (printout t "test-delete:" $?z crlf)
  (bind $?z (delete$ $?z 1 2))
  (printout t "test-delete:" $?z crlf)
)

(defrule test-explode
  (fapt3 ?x)
  =>
  (printout t "test-explode:" ?x crlf)
  (bind $?y (explode$ ?x))
  (printout t "test-explode:" $?y crlf)
)

(defrule test-explode1
  (fapt3 ?x)
  (fapt4 $?y&:(eq $?y (explode$ ?x)))
  =>
  (printout t "test-explode1:" "da" crlf)
)

(defrule test-insert
  (fapt4 $?x)
  (fapt1 ?z $?w ?t)
  =>
  (bind $?y (insert$ $?x 2 ?t $?w ?z))
  (printout t "test-insert:" $?y crlf)
)

(defrule test-subsetp
  (fapt5 $?x)
  (fapt1 $?y&:(subsetp $?x $?y))
  => 
)