3[1]LLOYD J W.Foundations of Logic Programming[M].Berlin:Springer-Verlag,1987.
4[2]TURING A M.On computable numbers,with an application to the entscheidungsproblem.Proceedings of London Mathematical Society[C]∥ 1936-1937,45-46:230-256,544-546.
5[3]KLEENE S C.General recursive function′s of natural numbers[J].Mathematische Annalen,1936,112:727-742.
6[4]CUTLAND N.Computability-An Introduction to Recursive Function Theory[M].London:Cambridge University Press,1980.
7[5]ADLEMAN L.Molecular computation of solutions to combinatorial problems[J].Science,1994,266(11):1021-1024.
8[6]SHOR P W.Algorithms for quantum computation:discrete log and factoring[C]∥Proceeding of the 35th Annual Symposium on Foundations of Computer Science (IEEE Computer Society Press,Los Alamitos,CA),1994,12:727-742.
