摘要: From the Publisher: A concise and practical introduction to logic programming logic-programming language Prolog, both as vehicles for understanding elementary computational linguistics tools implementing basic components of natural-language-processing systems.
amazon.com
openlibrary.org
salisbury.edu 参考文章(105)
Alan Mycroft, Richard A. O'Keefe, A polymorphic type system for PROLOG. Artificial Intelligence. ,vol. 23, pp. 295- 307 ,(1984) , 10.1016/0004-3702(84)90017-1
Susan L Graham, Michael Harrison, Walter L Ruzzo, An Improved Context-Free Recognizer ACM Transactions on Programming Languages and Systems. ,vol. 2, pp. 415- 462 ,(1980) , 10.1145/357103.357112
C. J. Hogger, Derivation of Logic Programs Journal of the ACM. ,vol. 28, pp. 372- 392 ,(1981) , 10.1145/322248.322258
Barbara J. Grosz, Douglas E. Appelt, Paul A. Martin, Fernando C.N. Pereira, TEAM: an experiment in the design of transportable natural-language interfaces Artificial Intelligence. ,vol. 32, pp. 173- 243 ,(1987) , 10.1016/0004-3702(87)90011-7
T.S.E. Maibaum, A generalized approach to formal languages Journal of Computer and System Sciences. ,vol. 8, pp. 409- 439 ,(1974) , 10.1016/S0022-0000(74)80031-0
William C. Rounds, Context-free grammars on trees symposium on the theory of computing. pp. 143- 148 ,(1969) , 10.1145/800169.805428
Peter B. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof ,(2002)
Gerald Jay Sussman, Julie Sussman, Harold Abelson, Structure and Interpretation of Computer Programs ,(1985)
Joxan Jaffar, Peter J. Stuckey, Semantics of infinite tree logic programming Theoretical Computer Science. ,vol. 46, pp. 141- 158 ,(1986) , 10.1016/0304-3975(86)90027-7
C.S. Mellish, SOME GLOBAL OPTIMIZATIONS FOR A PROLOG COMPILER Journal of Logic Programming. ,vol. 2, pp. 43- 66 ,(1985) , 10.1016/0743-1066(85)90004-4