www.pudn.com > dgpc.rar > foo128

Num RPBS 1 Num ADFS 3 ARITY  0 0 0
RPB_Num 0: with 2 points

(not (adf1 ))

ADF_Num 0: with 2 points
(retract (done ))

ADF_Num 1: with 23 points
(splitA (write_node (write_node (done )))
(splitR (write_node (splitA (splitR (done )(done ))
(splitA (done )(to_node (done )))))
(to_node (splitR (to_node (retract (done )))
(write_node (splitR (done )(done )))))))

ADF_Num 2: with 25 points
(write_node (write_node (retract (splitA (splitR (retract
(write_node (done )))(splitA (splitR (done )(done ))(splitR (done )(done ))))
(splitR (retract (splitA (done )(done )))
(splitA (retract (done ))(retract (done ))))))))