Contents

(define depth'
  {A --> (A --> (list A)) --> (A --> boolean) --> (A --> boolean) --> (list A)}
  State Successors Goal? Fail? -> (depth-help' [State] Successors Goal? Fail? []))

(define depth-help'
  {(list A) --> (A --> (list A)) --> (A --> boolean) --> (A --> boolean) --> (list A) --> (list A)}
  [State | _] _ Goal? _ Path -> (reverse [State | Path]) 	where (Goal? State)
  [State | _] _ _ Fail? _ -> [] 				where (Fail? State)
  [State | _] Successors Goal? Fail? Path <- (fail-if empty? 
                                                      (depth-help' (Successors State) 
                                                                   Successors Goal? Fail? [State | Path]))
  [_ | States] Successors Goal? Fail? Path -> (depth-help' States Successors Goal? Fail? Path)
  _ _ _ _ _ -> []) 

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
shen-ruby-0.12.1	shen/release/test_programs/depth_.shen
shen-ruby-0.12.0	shen/release/test_programs/depth_.shen
shen-ruby-0.11.0	shen/release/test_programs/depth_.shen