(in-package :sddr-tests)

(defparameter *foo*
  '(
    (<- (results pop (cons ?x ?stack) ?stack))
    
    (<- (results (push ?x) ?stack (cons ?x ?stack)))
 
    (<- (step pop ?current ?goal)
        (not (append ?top ?current ?goal)))
        
    (<- (step (push ?x) ?current ?goal)
        (append ?top (cons ?x ?current) ?goal))
    ))