Реляционный язык Пролог и его применение / Гл.6,7,Прилож.,Допол / sp_liter

СПИСОК ЛИТЕРАТУРЫ

1 Aho, A. V. and Ullman, J. D. [1979]. Principles of Compiler Design, Addiwn-Wesley, Reading, Ma.

2 Aho, A. V., Hopcroft, J. E., and Ullman, J. D. [1983]. Data Struc­tures and Algorithms. Addison-Wesley, Reading, Ma.

3 Apt, K. R., and van Emden,.M. H. [1982]. "Contributions to the Theory of Logic Programming," Journal of the ACM 29:3

4 Bobrow, D. G. [1984]. "If Prolog is the Answer, What is the Ques­tion?," Proc. International Conference on Fifth Generation Computer Systems, Tokyo, Japan, November 6-9. Institute for New Generation Computer Technology, pp. 138-148

5 Bowen, D., Znidarsic, D., et al. 11985]. Quintus Prolog Reference Manual, Quintus Computer Systems, Palo Alto, Ca.

В Bowen, К A„ and Kowalski, R. A. [1982]. "Amalgamating Langu­age and Metalanguage in Logic Programming," in Logic Pro­gramming (K. L. Clark and S. A. Tarnlund, eds.). Academic Press, London, pp. 153-172

7 Bowen. K. A.. and Weinberg. T. [1985]. "A Meta-Level Extension of Prolog," Proc. Symposium on Logic Programming Boston Ma„ July 15-18. IEEE Computer Society Press, New York, pp. 48-53

8 Boyer, С. В. [1968]. A History of Mathematics, Princeton Univer­sity Press, Princeton, N. J.

9 Brachman, R. J. Fikes, R. E.. and Levesque, H. J. [1983]. "Kryp­ton: A Functional Approach to Knowledge Representation." Computer 16:10, pp. 67-74.

10 Brachman, R. J. [1983]. "What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks," Computer 16:10, pp. 30.36.

11 Brough, D. R., and Walker, A. [1984]. "Some Practical Properties of Logic Programming Interpreters," Proc. International Con­ference on Fifth Generation Computer Systems, Tokyo, Japan, November 6-9. Institute for New Generation Computer Tech­nology, pp. 149-158

12 Bundy, A. [1983]. The Computer Modelling of Mathematical Reasoning, Academic Press, London

13 Bundy, A., and Welham, В. [1981]. "Using Meta-level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation," Artificial Intelligence 16:2

14 Campbell, J. A. [1984]. Implementations of Prolog, Ellis Horwood, Chichester, England

15 Chang, C., and Lee, R. С. [1973]. Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York

16 Chikayama, T. [1983]. "ESP—Extended Self-contained Prolog—as a Preliminary Kernel of Fifth Generation Computers," New Generation Computing 1:1. pp. 11 -24

17 Clark, K. L. [1978]. "Negation as Failure," in Logic and Data Bases, (H. Gallaire and J. Minker, eds.). Plenum Press, New York, pp. 293-324

18 Clark, K. L., and Gregory, S. [1985]. "Notes on the Implementation of Parlog," Journal of Logic Programming 2:1, pp. 17-42

19 Clark. K. L., McCabe, F. G., and Gregory, S. [1982]. "1C-PROLOG Language Features," in Logic Programming, (K. L. Clark and S. A. Tarnlund, eds.). Academic Press, London, pp. 253-266

20 Clark, K. L„ and McCabe, F. G. [1984]. micro-PROLOG: Program­ming in Logic, Prentice-Hall, Englewood Cliffs, N. J.

21 Clark, K. L., and Tarnlund, S. A. (eds.) [1982]. Logic Program­ming, Academic Press, London

22 Clocksin, W. F„ and Mellish, C. S. (1984]. Programming in Prolog, Springer- Verlag, Berlin

23 Coclho, H., Cotta, J. C., and Pereira, L. M. [1982]. How to Solve it with Prolog, Laboratio Nacional dc Engenharia Civil, Lisbon

24 Colmerauer, A. (1978]. "Metamorphosis Grammars," in Natural language Communication with Computers (L. Bole, cd.), Springer. Verlag, Berlin, pp. 133-189

25 Colmerauer, A. [1985). "Prolog in 10 Figures," Communications of the ACM 28; 12, pp. 1296-1310

26 Copi, 1. M, [1986]. Introduction to Logic, Macmillan, New York

27 Cory, H. Т., Hammond, P., Kowalski, R. A.. Kriwaczek, F., Sadri, F., and Sergot, M. J. [1984). "The British Nationality Act as a Logic Program," Logic Programming Research Report», Department of Computer Science, Imperial College, London, England

28 Dahl, V., and Abramson, H. [1984]. "On Gapping Grammars," Proc. Second International Logic Programming Conference, Uppsala. Sweden, July 2-6. Ord and Form, pp. 77-88

29 Darvas, F. [19801. "Logic Programming in Chemical Information Handling and Drug Design," Proc. Logic Programming Workshop. July 14, p. 261

30 Davis, M. [1983]. "The Prehistory and Early History of Automated Deduction," in Automation of Reasoning I (J. Sickmann and G. Wrightson, cds.), Springer-Verlag. Berlin

31 Davis, R. E. [1982]. "Runiiable Specification as a Design Tool," in Logic Programming (K. L. dark and S. A. Tarnlund, cds.), Academic Press, London, pp. 141-152

32 Ennals, J. R. (1984]. Beginning Micro-PROLOG, Ellis Horwood, Chichcster, England

33 Gallaire, H., Minker, J., and Nicola», J. M. [1978]. "An Overview and Introduction to Logic and Data Bases," in Logic and Data Bases (H. Gallaire and J. Minker, eds.), Plenum Press, New York. pp. 3-32

34 Gazdar, G., Klein, E., Pullum, G. K., and Sag, I. A. [1985]. Gen-eralized Phrase Structure Grammar, Harvard University Press, Cambridge, Ma.

35 Goldberg, A., and Robson, D. [1983]. Smalltalk-80 The Language and its Implementation, Addison-Wesley, Reading, Ma.

36 Goldstein, I. P., and Roberts, R. В. [1979]. "Nudge, a Knowledge-based Scheduling Program," in Frame Conceptions and Text Understanding (D. Metzing, ed.), de Gruyter, Berlin, pp. 26-45

37 Hamilton, A. G. [1978]. Logic for Mathematicians, Cambridge University Press, Cambridge, England

38 Hammond, P., and Sergot, M. [1984]. apes: Augmented Prolog for Expert Systems Reference Manual, Logic Based Systems Richmond, Surrey, England

39 Hayes, P. J. [1977]. "In Defence of Logic," Proc. UCAI-77. MIT, Cambridge, Ma., August 22-25. International Joint Confer­ences on Artificial Intelligence, pp. 559-565

40 Hayes, P. J. [1979]. "The Logic of Frames," in Frame Conceptions and Text Understanding (D. Metzing, ed.), pp. 46-60

41 Hayes, P. J. [1985]. "The Second Naive Physics Manifesto," in Readings in Knowledge Representation (R. Brachman and H. Levesque, eds.), Morgan Kaufmann, Los Altos, Ca., pp. 467-486

42 Hayes-Roth, F. Waterman, D. A., and Lenai, D. B. (eds.) [1983], Building Expert Systems, Addison-Wcsley, Reading, Ma.

43 Hermes, H., and Markwald, W. [1974]. "Foundations of Mathemat­ics," in Fundamentals of Mathematics (H. Behnke, F. Bach-mann, K. Fladt, and W. Suss, eds.), MIT Press, Cambridge, Ma.,pp. 1-88

44 Hilbert, D. [1904]. "On the Foundations of Logic and Arithmetic," in From Frege to Godel, van Heijenoort (ed.). Harvard Univer­sity Press, Cambridge, Ma.

45 Hodges, W. [1977]. Logic, Penguin, New York

46 Hogger, C. J. [1984]. Introduction to Logic Programming, Academic Press, London

47 Horn, R. E. [1983). "An Overview of Trialectics with Applications to Psychology and Public Policy," in Trialectics Toward a Practi­cal Logic of Unity (R. E. Horn ed.). Information Resources, Lexington, Ma., pp. 1-39

48 Kahn, К. M., and Carlsson. M. [1984]. "How to Implement Prolog on a Lisp Machine," in Implementations of Prolog (J. A. Campbel), ed.), pp. 117-134

49 Kaplan, R. M., and Bresnan, J. [1984]. "Lexical-Function Grammar:

A Formal System for Grammatical Representation," in The Menial Representation of Grammatical Relations (J. Bresnan, ed.), MIT Press, Cambridge, Ma., pp. 173-281

50 Kawanobc, К. [1984]. "Current Status and Future Plans of the Fifth Generation Computer Systems Project," Proc. International Conference on Fifth Generation Computer Systems, Tokyo, Ja­pan. November 6-9. Institute for New Generation Computer Technology, pp. 3-17

51 Kay. M. [1985]. "Parsing in Functional Unification Grammar," in Studies in Natural Language Processing. Cambridge Univer­sity Press, Cambridge, England

52 Kitakami. H„ Kunifuji, S., Miyachi, T„ and Furukawa. K. [1984]. "A Methodology for Implementation of a Knowledge Acquisi­tion System." Proc. International Symposium on Logic Pro­gramming, Atlantic City, N. J., February 6-9. IEEE Computer Society Press, New York. pp. 131-143

53 Kluzniak, F., and Szpakowisz, S. [1985]. Prolog/or Programmers, Academic Press, London

54 Kowalski, R. A. [1974]. "Predicate Logic as a Programming Langu­age," Proc. IFIP-74, North Holland, Amsterdam, pp. 569-574

55 Kowalski, R, A, [1979a). Logic for Problem Solving. Elscvier-North Holland. New York

56 Kowalski, R. A. [1979b]. "Algorithm - Logic + Control," Comm. of the AC M 22, pp. 424-431

57 Kowalski, R. A., and Kuehner, D. G. (1971). "Linear Resolution with Selection Function," Artificial Intelligence 2, pp. 227-260

58 Kowalski, R. A., et al. (1984]. Fifth Generation Software, Course Outline, Programming Logic Systems, Milford, Ct.

59 Kriwaczek, F. [1982]. "Some Applications of PROLOG to Decision Support Systems," MSc Thesis, Imperial College, London

60 Kriwaczek, F. [1984]. "A Critical Path Analysis Program," in micro-PROLOG: Programming in Logic (K. L. dark and F. G. McCabe), pp. 277-293

61 Li, D. [1984]. A PROLOG Database System, Research Studies Press, Letchworth, England

62 Lloyd, J. W. [1984]. Foundations of Logic Programs, Springer-Verlag, New York

63 Loveland, D. W, [1968]. "Mechanical Theorem Proving by Model Elimination." Journal of the ACM 15:2

64 Manna. Z. and Wladinger, R. [1985]. The Logical Basis of Com­puter Programming, Addison-Wesley, Reading, Ma.

65 Matsumoto, Y., Kiyono, W., and Tanaka, H. [1984] "Facilities of • the BUP Parsing System," Proc. Natural Language Understanding and Logic Programming. Rennes, France, Sep­tember 18-20, pp. 71-80

66 McCabe, F. G., and dark, K. L. [1985]. micro-PROLOG 5.2 Pro­grammer's Reference Manual, Logic Programming Associates, London, England

67 McCarthy, J., and Hayes, P. J. [1969]. "Some Philosophical Prob­lems from the Standpoint of Artificial Intelligence," in Machine Intelligence 4 (В. Meltzer and D. Mitchic, eds.), Edinburgh University Press, Edinburgh, pp. 463-502

68 McCord, M. С. [1982]. "Using Slots and Modifiers in Logic Gram­mars for Natural Language," Artificial Intelligence 18, pp. 327-367

69 McCord, M. C. [1985]. "Modular Logic Grammars," Proc. 23rd An­nual Meeting of the Association for Computational Linguis­tics, Chicago, I1„ July 8-12, pp. 104-117

70 McDcrmott, D. [1983]. "DUC: A Lisp-Based Deductive System," Technical Report, Department of Computer Science, Yale University

71 Mendclson. E. [1979]. Introduction to Mathematical Logic. D. Van Nostrand, New York

72 Minsky, M. [1979]. "A Framework for Representing Knowledge," in Frame Conceptions and Text Undrrstanding, (D. Metzing, ed.), PP. 1-25

73 Miyachi, Т., Kunifuji, S., Kitakami, K., Furukawa, K.. Takeuchi, A., and Yokota, H. [1984]. "A Knowledge Assimilation Method for Logic Databases," Proc. International Symposium on Logic Programming, Atlantic City, N. J., February 6-9. IEEE Com­puter Society Press, New York, pp. 118-125

74 Moto-oka, Т. et al. [1981 ]. "Challenge for Knowledge Information Processing Systems," in Fifth Generation Computer Systems (T. Moio-oka, ed.). pp. 3-92

75 Nagel, E., and Newman, J. R. (1964]. Godel's Proof, New York University Press, New York

76 Naish, L. [1985]. "All Solutions Predicates in Prolog," Proc Sympo­sium on Logic Programming, Boston, Ma., July 15-18. IEEE Computer Society Press, New York, pp. 73-77

77 Nakashima, H. [1984]. "Knowledge Representation in Prolog/KR," Proc. International Symposium on Logic Programming, Atlan­tic City, N. J., February 6-9. 1FEE Computer Society Press, New York, pp. 126-130

78 Nicolas, J. M., and Gallaire, H. [1978]. “Data Base: Theory vs. In­terpretation,” in Logic and Data Bases (H. Gallaire and J. Minker, eds.). Plenum Press, New York, pp. 33-54

79 Nilsson, N. J. [1980]. Principles of Artificial Intelligence. Tioga, Palo Alto, Ca.

80 Nygaard, K., and Dahl, 0. J. [1978). The Development of the SIMULA Languages," SIGPLAN Notices 13:8, pp. 245-272

81 O'Keefe, R. A. [1985). "On the Treatment of Cuts in Prolog Source-Level Tools," Proc. Symposium on Logic Programming. Boston, Ma. July 15-18. IEEE Computer Society Press, New York, pp. 68-72

82 Parsaye, К. [1983]. "Database Management, Knowledge Base Management, and Expert System Development in Prolog," Proc. ACM Database Week, San Jose, Ca., pp. 179-183

83 Pereira, F. C. N. (cd.) [1985]. CProlog User's Manual Version 1.4, Department of Architecture, University of Edinburgh, Edin­burgh

84 Pereira. F. C. N., and Warren, D. H. D. [1980). "Definite Clause Grammars for Language Analysis—A Survey of the For­malism and a Comparison with Augmented Transition Net-works," Artificial Intelligence 13. pp, 231-278

83 Pereira, F. C. N.. and Warren, D. H. D. [1983]. "Parsing as Deduc­tion," Proc. 21st Annual Meeting of the Association for Com­putational Linguistics, MIT, June 15-17. Association for Computational Linguistics, pp. 137-144

85 Рое, M. D. (19841. "Control of Heuristic Search in a Prolog-Based Microcode Synthesis Expert System," Proc. International Con­ference on Ftfth Generation Computer Systems, Tokyo. Japan, November 6-9, Institute for New Generation Computer Tech­nology, pp. 589-595

87 Pollard, C. [1984]. Generalized Phrase Structure Grammars. Head Grammars, end Natural Languages, PhD Thesis, Stanford University, Stanford, Ca.

88 Rcichenbach, H. [1947]. Elements of Symbolic Logic, Macmillan, New York

89 Reiter, R. [1978). "On Closed World Data Bases," in Logic and Data Bases (H. Gallaire and J. Minker, eds.), Plenum Press, New York, pp. 55-76

90 Roberts, G. M. [1977]. An Implementation of PROLOG, M.Sc. Thesis, University of Waterloo, Ontario, Canada

91 Robinson. J. A. [1965]. "A Machine-Oriented Logic Based on the Resolution Principle," Journal of the ACM 12, pp. 23-41

92 Robinson. J. А. 11979]. Logic: Form and Function. Elsevier-North Holland. New York

93 Roussel. P. [1975]. PROLOG: Manuel de Reference et d'Utilisation, University of Aix-Marseilles, Luminy, France

94 Sergot, M. [1982]. "Prospects for Representing the Law as Logic Programs," in Logic Programming (K. L. Clark and S. A. Tarnlund, eds.), Academic Press, London, pp. 3-18

95 Shapiro. E Y. [1983a]. Algorithmic Program Debugging, The MIT Press, Cambridge, Ma.

96 Shapiro, E. Y. [1983b]. "A Subset of Concurrent Prolog and its In­terpreter," ICOT Technical Report TR-003. Institute for New Generation Computing, Tokyo

97 Shapiro, E. Y. [1984]. "Guest Editor's Preface", New Generation Computing 2:4, pp. 305-308

98 Shapiro, E. Y., and Takeuctti, A. [1983]. "Object Oriented Program­ming in Concurrent Prolog," New Generation Computing 1-1 pp. 25-48

99 Shieber, S. M. Uszkoreit, H., Pcreira. F. C. N.. Robinson, J. J., and Tyson, M. [1983]. "The Formalism and Implementation of PATR-I1," in Research on Interactive Acquisition and Use of Knowledge, Artificial intelligence Center, SRI International, Menio Park, Ca.

100 Sickrtiann, J., and Wrightson, G. (eds.) [1983a]. Automation of Reasoning I Classical Papers on Computational Logic 1957-1966, Springer- Verlag, Berlin

101 Sickmann, J., and Wrightson, G. (eds.) [1983b]. Automation of Reasoning 2 Classical Papers on Computational Logic 1967-1970, Springer-Verlag, Berlin

102 Simmons, R. F. [1984]. Compulations from the English, Prentice-Hall, Englewood Cliffs, N. J.

103 Swinson, P. S. [1980]. "Prescriptive to Descriptive Programming a Way Ahead for Caad," Proc. Logic Programming Workshop, July 14, pp. 262-273

104 Taylor, A. E. [1955] Aristotle, Dover, New York

105 Tick, E., and Warren, D. H. D. [1984]. Towards a Pipelined Prolog Processor," New Generation Computing 2:4, pp. 323-346

106 Tokoro, M. and Ishikawa, Y. [1984). "An Object-Oriented Approach to Knowledge Systems," Proc. International Conference on Fifth Generation.Computer Systems, Tokyo, Japan, November 6-9. Institute for New Generation Computer Technology, pp. 623-631

107 Uehara, К., Ochilani, R., Kakusho, 0., and Toyoda. J. (1984). "A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique," Proc. Interna­tional Symposium on Logic Programming, Atlantic City, N. J., February 6-9. IEEE Computer Society Press, New York, pp. 220-227

108 Uehara, K., Ochitani. R., Mikami, 0., and Toyoda, J. (1984]. "An Integrated Parser for Text Understanding: Viewing Parsing as Passing Messages among Actors," Proc. Natural Language Un­derstanding and Logic Programming, Rennes, France, Sep­tember 18-20, pp. 59-70

109 Uehara, Т., and Kawato, N. 11983]. "Logic Circuit Synthesis Using Prolog," New Generation Computing 1:2, pp. 187-193

110 Warren, D. H. D, and Pcreira. F. C. N. [1981]. "An Efficient Easily Adaptable System for Interpreting Natural Language Queries," DAI Research Paper No. 155, Department of Artificial Intelli­gence, University of Edinburgh, Edinburgh

111 Warren, D. H. D., Pereira, L. M., and Pereira. F. C. N. 11977]. "PROLOG—The Language and its Implementation Compared with LISP." SIGPLAN Notices 12:8

112 Winograd, Т. [1980]. "Extended Inference Modes in Reasoning by Computer Systems," Artificial Intelligence 13, 1980, pp. 5-26

113 Yasukawa, H. [1983]. "LFG in Prolog—Toward a Formal System for Representing Grammatical Relations," ICOT Technical Report TR-019, Institute for New Generation Computing, Tokyo

114 Zaniolo, C. [1984]. "Object-Oriented Programming in Prolog," Proc. International Symposium on Logic Programming, Atlantic City, N. J., February 6-9. IEEE Computer Society Press, New York, pp. 265-271

115 Zaumen. W. Т. (1983]. "Computer-Assisted Circuit Evaluation in Prolog for VLSI, "Proc. ACM Database Week, San Jose, Ca., pp. 179.1831

116 van Emdcn, M. H., and Kowalski, R. A. [1976]. "The Semantics of Predicate Logic as Programming Language," Journal of the ACM 23:4, pp. 733-742

117 van Hcijenoort, J. (ed.) [1967}. From Frege to Goedel: A Source Book In Mathematical Logic 1879-1931, Harvard University Press, Cambridge, Ma.