Worth while papers to read for pkg manager/resolver background (mirrored locally)-
http://gentooexperimental.org/~ferringb/model.pdf
http://gentooexperimental.org/~ferringb/edos-wp2d1.pdf

prolog state machine implementation (general approach is similar to resolvers actions)-
http://www.vanx.org/archive/wam/wambook.pdf