www.pudn.com > dgpc.rar > foo-both

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

(not (adf0 ))

ADF_Num 0: with 19 points
(splitR (to_node (done ))
(write_node (splitR (splitA (splitR (to_node (write_node 
(done )))(retract (retract (done ))))
(write_node (to_node (write_node (done )))))(to_node (done )))))

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

ADF_Num 2: with 5 points
(splitR (write_node (done ))(to_node (done )))


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 ))))))))