Prolog (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Prolog" in Chinese language version.

Last modified: 23:19:24, 2 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank Chinese rank

6^th place

2^nd place

299^th place

591^st place

11semanticscholar.org

15^th place

141^st place

2^nd place

5^th place

archive.org (Global: 6^th place; Chinese: 2^nd place)

Covington, Michael A. Natural language processing for Prolog programmers. Englewood Cliffs, N.J.: Prentice Hall. 1994. ISBN 978-0-13-629213-5.
Stickel, M. E. A prolog technology theorem prover: Implementation by an extended prolog compiler. Journal of Automated Reasoning. 1988, 4 (4): 353–380. CiteSeerX 10.1.1.47.3057 . S2CID 14621218. doi:10.1007/BF00297245.
Merritt, Dennis. Building expert systems in Prolog. Berlin: Springer-Verlag. 1989. ISBN 978-0-387-97016-5.

doi.org (Global: 2^nd place; Chinese: 5^th place)

Stickel, M. E. A prolog technology theorem prover: Implementation by an extended prolog compiler. Journal of Automated Reasoning. 1988, 4 (4): 353–380. CiteSeerX 10.1.1.47.3057 . S2CID 14621218. doi:10.1007/BF00297245.

psu.edu (Global: 299^th place; Chinese: 591^st place)

citeseerx.ist.psu.edu

Stickel, M. E. A prolog technology theorem prover: Implementation by an extended prolog compiler. Journal of Automated Reasoning. 1988, 4 (4): 353–380. CiteSeerX 10.1.1.47.3057 . S2CID 14621218. doi:10.1007/BF00297245.

semanticscholar.org (Global: 15^th place; Chinese: 141^st place)

api.semanticscholar.org

Stickel, M. E. A prolog technology theorem prover: Implementation by an extended prolog compiler. Journal of Automated Reasoning. 1988, 4 (4): 353–380. CiteSeerX 10.1.1.47.3057 . S2CID 14621218. doi:10.1007/BF00297245.