Skip to main content
SpringerLink
Log in

Other Application Areas of Logic Programming

  • Chapter
Logic Programming

  • 104 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AbramsonH., A Prological Definition of HASL, Proceedings of Workshop on Logic ProgrammingAlgarve, Portugal, 1983.

    Google Scholar 

  2. AllenJ. F. and LuckhamD., An Interactive Theorem-proving Program, in Machine Intelligence,vol. 5, B. Meltzer and D. Michie(eds.), American Elsevier, New York, 1970, 321–336.

    Google Scholar 

  3. AndersonS. O., NevesJ. C. and WilliamsM. H., Extended Integrity Constraints in Query-By-Example, Technical Report, Heriot-Watt University, Edinburg, 1982.

    Google Scholar 

  4. AponteM. V., FernandezJ. A. and RousselP., Editing First-Order Proofs: Programmed Rules Versus Derived Rules, Proceedings of the International IEEE Conference on Logic Programming,Atlantic City, 1984.

    Google Scholar 

  5. AzemaP., JuanoleG. and SanchisE., Specification and Verification of Distributed Systems using Prolog Interpreted Petri Nets, Proceedings of the Seventh IEEE International Conference on Software Engineering1984.

    Google Scholar 

  6. BackhouseR. C., NevesJ. C., WilliamsM. H. and AndersonS. O., A Prolog Implementation of Query-ByExample, Technical Report, Heriot-Watt University, Edinburg, 1982. Also in Proceedings of the Seventh International Symposium on Computing, Germany.

    Google Scholar 

  7. BallD., PrologO: Turtle Graphics in Micro-Prolog on the Research Machines 380Z, Technical Report, Department of Computer Science, Unversity of Leicester, 1982.

    Google Scholar 

  8. BaloghK. and OthersThe Application of the Prolog Language to the Design of Software and Hardware Objects, NIM IGUSZI and SZKI Technical Report, SZKI Institute, Budapest, Hungary, 1978. In Hungarian.

    Google Scholar 

  9. BaloghK., On a Logical Method Serving the Proof of the Semantic Features of Programs, Technical Report, Department of Computer Science, Eotvos Lorand University, Budapest, 1979. In Hungarian.

    Google Scholar 

  10. BaloghK., FutoI. and LabadiK., The Documentation of a Prolog Program Verification System, Technical Report NIM IGUSZI, Eotvos Lorand University, Budapest, 1977. In Hungarian.

    Google Scholar 

  11. BaloghK., FutoI. and LabadiK., On an Interactive Program Verifier for Prolog Programs, Proceedings of a Colloqium on Mathematical Logic in Programming1978

    Google Scholar 

  12. BaloghK. and Labadi, K., Software Applications for the Mathematical Logic, Proceedings of the Conference on Programming SystemsSzeged, Hungary, 1975, 26–44. In Hungarian.

    Google Scholar 

  13. Balzer, R. M., Imprecise Program Specification, Technical Report RR-75–36, Information Sciences Institute, Marina Del Rey, 1975.

    Google Scholar 

  14. Bandes, R. G., Algebraic Specification and Prolog, Technical Report TR–82–12–02, Department of Computer Science, University of Washington, Seattle, 1982.

    Google Scholar 

  15. Barrow, H. G., Proving the Correctness of Digital Hardware Designs, Proceedings of the National Conference on Artificial IntelligenceWashington D.C., August, 1983. AAAI-83.

    Google Scholar 

  16. Barrow, H. G., Verify: A Program for Proving Correctness of Digital Hardware Designs, in Qualitative Reasoning about Physical SystemsD. G. Bobrow, (ed.), MIT Press, 1985.

    Google Scholar 

  17. Barthes, J. P., Vayssade, M. and Miaczynska, M., Property Driven Data Bases, International Joint Conference on Artificial Intelligence, Tokyo, Japan, 1979.

    Google Scholar 

  18. Battani, G. and Melon, H., Un Bel Example de Prolog en Analyse et Synthese, Technical Report, Groupe d’Intelligence Artificielle, Universite d’Aix-Marseille II, Marseille, France, 1974.

    Google Scholar 

  19. Baxter, L. D., Prolog Comments, ACM Sigart Newsletter 73(October 1980), 18.

    Google Scholar 

  20. Baxter, L. D., A Prolog Program Illustrating a Verify and Choose Method, Technical Report, Computer Science Department, York University, 1981.

    Google Scholar 

  21. Becker, J. M., AQ-Prolog User’s Guide and Program Description, Technical Report, Department of Computer Science, University of Illinois, December 1983.

    Google Scholar 

  22. Bellia, M., Degano, P., Levi, G., Dameri, E. and Martelli, A., From Term Rewriting Systems to Distributed Program Specifications, Technical Report, University of Pisa, Italy, 1982.

    Google Scholar 

  23. Belovari, G., Progress in Prolog-Based Robot Problem Solving, Technical Report, Department of Computer Science, University of Uppsala, Sweden, 1984.

    Google Scholar 

  24. Belovari, G. and Campbell, J. A., Generating Contours of Integration: An Application of Prolog in Symbolic Computing, in Lecture Notes in Computer Science 87: 5th Conference on Automated Deduction,W. Bibel and R. A. Kowalski, (eds.), Springer-Verlag, Berlin, Germany, 1980, 14–23.

    Google Scholar 

  25. Bendl, J., Lugosi, G. and Markusz, Z. S., An Interactive System for Checking Air Pollution, Informacio-Elektronika XIV 1(1979), 55–58. In Hungarian.

    Google Scholar 

  26. Berger-Sabbatel, G., Logique Conceptuelle, Technical Report, Groupe d’Intelligence Artificielle, Marseille, France, 1979.

    Google Scholar 

  27. Bergman, M., Resolution par la Demonstration Automatique de Quelques Problemes en Integration Symbolique sur Calculateur, Technical Report, Groupe d’Intelligence Artificielle, Universite d’Aix-Marseille II, Marseille, France, 1973. Thesis.

    Google Scholar 

  28. Bergman, M. and Deransart, P., Abstract Data Types And Rewriting Systems: Application To The Programming Of Algebraic Abstract Data Types In Prolog, CAAP’81 Trees In Algebra And Programming 6th CollogiumMarch 1981. Also Lecture Notes in Computer Science no. 112.

    Google Scholar 

  29. Bergman, M. and Kanoui, H., Application of Mechanical Theorem Proving to Symbolic Calculus, In Third International Symposium on Advanced Computing Methods in Theoretical Physics C.N.R.S.1973. Also available as Technical Report from the University of Marseille.

    Google Scholar 

  30. Bergman, M. and Kanoui, H., Sycophante: Systeme de Calcul Formel et d’Interrogation Symbolique sur l’Ordinateur, Technical Report, Groupe d’Intelligence Artificielle, Universite d’Aix-Marseille II, Marseille, France, October 1975.

    Google Scholar 

  31. Besnard, P., Quiniou, R. and Quinton, P., A Theorem-Prover for a Decidable Subset of Default Logic, in Proceedings of National Conference on Artificial IntelligenceWashington D.C., August 1983. AAAI-83.

    Google Scholar 

  32. Bijl, A., Dumb Drawing Systems and Knowledge Engineering, Technical Report TR-81–08, EdCaad Department, University of Edinburgh, 1981. Also in Proceedings of CAD-82.

    Google Scholar 

  33. Borning, A., A Powerful Matcher for Algebraic Equation Solving, Working Paper 67, Department of Artificial Intelligence, University of Edinburgh, Scotland, May, 1980.

    Google Scholar 

  34. Borning, A. and Bundy, A., Using Matching in Algebraic Equation Solving, Proceedings of the International Conference on Artificial Intelligence 19811981, 466–471. Also available from The University of Edinburgh as DAI Research Paper No. 158.

    Google Scholar 

  35. Bosco, P. G., Giandonato, G. and Giovanetti, E., A Prolog System For The Verification of Concurrent Processes Against Temporal Logic Specifications, Proceedings of the Second International Logic Programming ConferenceS. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 219–230.

    Google Scholar 

  36. Bouchon, P. and Vidal, J., An Intelligent Router for VLSI Design, Technical Report CSD 840058, Department of Computer Science, University of California, Los Angeles, 1984.

    Google Scholar 

  37. Bourgault, S. and Dincbas, M., Using Artificial Intelligence Techniques In The Design Of Software For Digital Switching Systems, Proceedings of the 11th International Switching SymposiumFlorence, Italy, May, 1984.

    Google Scholar 

  38. Bratko, I., Knowledge-Based Problem-Solving in AL3, in Intelligent Systems: Practice and Experience - Machine Intelligence 10J. E. Hayes, D. Michie and Y. H. Pao, (eds.), 1982, 73–100.

    Google Scholar 

  39. Brazdil, P., A Model for Error Detection and Correction, DAI Research Report 47, Department of Artificial Intelligence, University of Edinburgh, 1981. Ph.D. Dissertation.

    Google Scholar 

  40. Brazdil, P., Symbolic Derivations of Chess Patterns, Proceedings of the European Conference on Artificial Intelligence 1982Orsay, France, 1982.

    Google Scholar 

  41. Brazdil, P., Use Of Metalogical Primitives In Communication, SixthEuropean Conference On Artificial IntelligencePisa, September, 1984.

    Google Scholar 

  42. Briggs, J. H., Teaching Mathematics with Prolog, Technical Report, Department of Computer Science, Imperial College, London, 1982.

    Google Scholar 

  43. Briggs, J. H., Applying Logic Programming Techniques To History Teaching, Technical Report, Department of Computing, Imperial College, 1984.

    Google Scholar 

  44. Briggs, J. H., Designing And Implementing A Child-oriented Interface to Micro-Prolog, Technical Report, Department of Computing, Imperial College, 1984.

    Google Scholar 

  45. Briggs, J. H., French, P. and Steele, B. D., Logic Programming For Expert Systems: A Two Day Course, The Logic Training Partnership, Imperial College, London, 1984.

    Google Scholar 

  46. Bruynooghe, M., An Interface between Prolog and CyberEDMS, Proceedings of Workshop on Logic and Databases,Toulouse, France, 1977.

    Google Scholar 

  47. Bruynooghe, M. and Venken, R., Prolog as a language for Prototyping of Information Systems, in Approaches To PrototypingR. Budde, (ed.), Springer-Verlag, Berlin, 1984.

    Google Scholar 

  48. Bundy, A., Will It Reach the Top? Predictions in the Mechanics World, Artificial Intelligence 10(1978), 129–146. Also in Cognitive Science, 1, 1977, 193–215, and DAI Research Report 31,Department of Artificial Intelligencea, University of Edinburgh.

    Google Scholar 

  49. Bundy, A., Mathematical Reasoning Course Notes, DAI Report I Department of Artificial Intelligence, University of Edinburgh, 1979.

    Google Scholar 

  50. Bundy, A., Meta-Level Inference and Consciousness, DAI Research Paper No 187, Department of Artificial Intelligence, University of Edinburgh, 1983.

    Google Scholar 

  51. Bundy, A., The Impress Proof Plan Revisited, Working Paper 138, Department of Artificial Intelligence, University of Edinburgh, April, 1983.

    Google Scholar 

  52. Bundy, A., Proof Analysis: A Technique For Concept Formation, Research Paper 198, Department of Artificial Intelligence, University of Edinburgh, September, 1983.

    Google Scholar 

  53. Bundy, A., Byrd, L., Luger, G., Mellish, C. S. and Palmer, M. S., Solving Mechanics Problems Using Meta-Level Inference, in Expert Systems in the Microelectronic AgeD. Michie, (ed.), University of Edinburgh, Scotland, 1979, 153–167. Also in Proceedings International Joint Conference on Artificial Intelligence-79 and available as a Edinburgh Research Report.

    Google Scholar 

  54. Bundy, A., Byrd, L. and Mellish, C. S., Special Purpose, but Domain Independent Inference Mechanisms, Proceedings of European Conference on Artificial Intelligence1982. Also available from Edinburgh as DAI Research Paper No. 179.

    Google Scholar 

  55. Bundy, A., Luger, G., Mellish, C. S. and Palmer, M. S., Knowledge about Knowledge: Making Decisions in Mechanics Problem Solving, Proceedings of AISB-78University of Edinburgh, 1978, 71–82.

    Google Scholar 

  56. Bundy, A. and Silver, B., Homogenization: Preparing Equations for Change of Unknown, Proceedings of International Joint Conference on Artificial Intelligence-81R. Schank, ed., 1981. Longer version available from Edinburgh as DAI Research Paper No. 159.

    Google Scholar 

  57. Bundy, A. and Silver, B., A Critical Survey of Rule Learning Programs, Proceedings of the European Conference on Artificial Intelligence, 1982.

    Google Scholar 

  58. Bundy, A. and Sterling, L., Meta-Level Inference in Algebra, Research Paper 164, Department of Artificial.Intelligence, University of Edinburgh, Scotland, September, 1981. Presented at the Workshop on Logic Programming for Intelligent Systems, Long Beach, California, 1981.

    Google Scholar 

  59. Bundy, A. and Welham, B., Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation, Artificial Intelligence16, 2 (1981), 189–212. Also in Lecture Notes in Computer Science No. 87 by Springer-Verlag.

    Google Scholar 

  60. M. Van Caneghem, ed., Proceedings of the First International Logic Programming Conference, Marseille, France, September, 1982.

    Google Scholar 

  61. M. Van Caneghemand D. H. D. Warren, eds., Logic Programming and Its Applications, Ablex Publishing Company, 1984.

    Google Scholar 

  62. Carre, M. F. and Salle, P., Acteurs et Programmation en Logique, Technical Report, Ecole Nationale Superieure d’Electronique et d’Informatique, Toulouse, France, 1984.

    Google Scholar 

  63. Carroll, J. M. and Wu, O., Using Prolog to Assess Security Risks in Data Processing Systems Programs, Logic Programming NewsletterDecember, 1982.

    Google Scholar 

  64. Chang, C. L. and Walker, A., Prosql: A Prolog Programming Interface with SQL/DS, Technical Report RJ 4314, IBM Watson Research Center, 1984.

    Google Scholar 

  65. Chouraqui, E., Construction of Data Structures for Representing Real World Knowledge, Proceedings of the IFIP,1979.

    Google Scholar 

  66. Clark, K. L. and Darlington, J., Algorithmic Classification Through Synthesis, The Computer Journal 231 (1980).

    MathSciNet  Google Scholar 

  67. Clark, K. L. and Van Emden, M. H., Consequence Verification of Flowcharts, Technical Report 79–8, Computer Science Department, Imperial College, London, 1979. Also in IEEE Transactions on Software Engineering, Vol SE-7, No 1, 1981.

    Google Scholar 

  68. Clark, K. L., Mckeeman, W. M. and Sickel, S., Logic Program Specification of Numerical Integration, Technical Report 82–3, Computer Science Department, Imperial College, London, 1983.

    Google Scholar 

  69. K. L. Clark and S. A. Tarnlund, eds., Logic ProgrammingAcademic Press, 1982. A.P.I.C. Studies in Data Processing No. 16

    Google Scholar 

  70. Lark, M. J. N., Hayes, P. J., Marks, J. O., Pettitt, P. and Reeder, M. W., Representation of Legislation & Aids for its Interpretation, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  71. Clocksin, W. F., Real-Time Functional Queue Operations Using the Logical Variable, Information Processing Letters 17(1983), 173–175.

    Google Scholar 

  72. Coelho, H., TUGA user’s manual, DI Report, Laboratoria Nacional De Engenharia Civil, Lisbon, Portugal, 1979.

    Google Scholar 

  73. Coelho, H., How to Solve it with Prolog, DI Report - Third Edition, Laboratoria Nacional De Engenharia Civil, Lisbon, Portugal, 1979.

    Google Scholar 

  74. Coelho, H., Logic Programming at Work: The Case of a Civil Engineering Environment, in Artificial Intelligence and Information-Control Systems of RobotsI. Plander, (ed.), Elsevier, 1984.

    Google Scholar 

  75. Coelho, H., Cotta, J. C. and Pereira, L. M., How To Solve it with Prolog, Technical Report, Laboratorio Nacional de Engenharia Civil, Lisbon, Portugal, 1980. Collection of examples.

    Google Scholar 

  76. Coelho, H. and Pereira, L. M., GEOM: A Prolog Geometry Theorem Prover, Technical Report Memo 525, Laboratorio Nacional de Engenharia Civil, Lisbon, Portugal, 1979.

    Google Scholar 

  77. Cory, H. T., Hammond, P., Kowalski, R. A., Kriwaczek, F. R., Sadri, F. and Sergot, M. J., The British Nationality Act As A Logic Program, Department of Computing, Imperial College, 1984.

    Google Scholar 

  78. Dahl, V. and Abramson, H., On Gapping Grammars, Proceedings of the Second International Logic Programming ConferenceS. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 77–88.

    Google Scholar 

  79. Darvas, F., A Program for the Automatic Filtering of Drug Interactions, Proceedings of the Colloquim on the Application of Computing in Medecine and BiologySzegded, Hungary, 1976. In Hungarian.

    Google Scholar 

  80. Darvas, F., Computer Analysis of the Relationship between the Biological Effect and the Chemical Structure, Kemai Kozlemenyek1978, 97–116. In Hungarian.

    Google Scholar 

  81. Darvas, F. and Others, A Prolog-Based Drug Design System, Proceedings of the Conference on Programming Systems, Szeged, Hungary, 1978. In Hungarian.

    Google Scholar 

  82. Darvas, F. and Others, A Logic Based Chemical Information System, Proceedings of the First National Conference of the von Neumann Computer Science Society, Szeged, Hungary, 1979, 92–96. In Hungarian.

    Google Scholar 

  83. Darvas, F., Logic Programming in Chemical Information Handling and Drug Design, in Workshop on Logic Programming, S. A. Tarnlund, (ed.), Debrecen, Hungary, July 1980.

    Google Scholar 

  84. Darvas, F., Bein, K. and Gabanyi, Z., A Logic-Based Expert System for Model Building in Regression Analysis, Proceedings of Workshop on Logic ProgrammingAlgarve, Portugal, 1983.

    Google Scholar 

  85. Darvas, F., Futo, I. and Cholnoky, E., Practical Applications of an AI Language: Prolog, Proceeding of the Second Hungarian Computer Science Conference, Budapest, Hungary,, 388–399. In Hungarian.

    Google Scholar 

  86. Darvas, F., Futo, I. and Szeredi, P., A Logic Based Program System for Predicting Drug Interactions, International Journal of Biomedical Computing 9, 4 (1977).

    Google Scholar 

  87. Darvas, F., Futo, I. and Szeredi, P., Some Applications of Theorem Proving Based Machine Intelligence in Qsar, Proceedings of a Sumposium on Chemical-Biological Activity,1978, 251–256.

    Google Scholar 

  88. Darvas, F., Futo, I. and Szeredi, P., Expected Interactions of Spirololactions: Predictions by Computer, Proceedings of the Conference on Pathogenesis of HyperaldosteronismHungary, 1979, 219–220. In Hungarian.

    Google Scholar 

  89. Darvas, F., Lopata, A. and Matrai, G., A Specific QSAR Model for Peptides, in Quantitative Structure Activity AnalysisF. Darvas, (ed.), Akademiai Kiado, Budapest, Hungary, 1980, 265–278.

    Google Scholar 

  90. Davis, R. E., Generating Correct Programs from Logic Specifications, Technical Report TR-05–001, Computer Science Department, University of California, Santa Cruz, 1979.

    Google Scholar 

  91. Davis, R. E., Runnable Specification as a Design Tool, Workshop on Logic ProgrammingDebrecen, Hungary, July 1980.

    Google Scholar 

  92. Dean, J. and Michol, J., Computer Assisted Learning In History: BOGBOD, A Detective Exercise Written In Prolog, AISB Easter Conference on ASrtificial Intelligence and Education1983.

    Google Scholar 

  93. Debenham, J. K. and Mcgrath, G. M., The Description in Logic of a Large Commercial Database: A Methodology Put to the Test, Australian Computer Science Communications 5(1982), 12–21.

    Google Scholar 

  94. Deliyanni, A. and Kowalski, R. A., Logic and Semantic Networks, Communications of the ACM 223 (March 1979), 184–192.

    MATH  Google Scholar 

  95. Demolombe, R., Assigning Meaning to Ill-Defined Queries Expressed in Predicate Calculus Language, Proceedings of the Workshop on Logic and Databases,Toulouse, France, 1977.

    Google Scholar 

  96. Derby, H., Using Logic Programming for Compiling APL, Technical Report 84–5134, California Institute of Technology, Los Angeles, California, 1984.

    Google Scholar 

  97. Domolki, B. and Szeredi, P., Prolog in Practice, Information Processing, R. E. A. Mason, ed., 1983, 627–636.

    Google Scholar 

  98. Drosten, K. and Ehrich, H. D., Translating Algebraic Specifications to Prolog Programs, Technical Report 84–08 8408, Department of Computer Science, Technical University of Braunschweig, 1984.

    Google Scholar 

  99. Dwiggings, D., Prolog as a System Design Tool, Proceedings of the 16th Annual Hawaii International Conference on System Sciences, 1983.

    Google Scholar 

  100. Dwiggings, D. and Silva, G., A Knowledge-Based Automated Message Understanding Methodology for an Advanced Indications Systems, Technical Report R79–006, Operating Systems Division, Logicon, Woodland Hills, Ca, 1979.

    Google Scholar 

  101. Eder, G., A System for Cautious Planning, Working Paper 27, Department of Artificial Intelligence, University of Edinburgh, 1976.

    Google Scholar 

  102. Edgar, G. A., A Compiler Written in Prolog, Dr. Dobbs Journal, May, 1985.

    Google Scholar 

  103. Edman, A. and Tarnlund, S. A., Mechanization of an Oracle in a Debugging System, Proceedings of the International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983.

    Google Scholar 

  104. Eggert, P. R. and Chow, K. P., Logic Programming Graphics and Infinite Terms, TR 83–02, Department of Computer Science, University of California, Santa Barbara, June 1983..

    Google Scholar 

  105. Eggert, P. R. and Schorre, D. V., Logic Enhancement: A Method for Extending Logic Programming Languages, Proceedings 1982 ACM Symposium on LISP and Functional ProgrammingPittsburgh, PA, 1982, 74–80.

    Google Scholar 

  106. Ehrlich, S. M. and Gabriel, J. R., Cutsets with Required Arcs: A Prolog-Based Approach, Technical Report ANL-MCS-TM-11, Argonne National Laboratory, Illinois, 1983.

    Google Scholar 

  107. Ehrlich, S. M., Gabriel, J. R., Gonev, A. and Kuchnir, L., Graph Theoretic Approaches to Diagnostics: Applications of Logic Programming and Cutset Theory to Aspects of Reactor and Circuit Analysis, Technical Report ANL-84–74, Mathematical and Computer Science Division, Argonne National Laboratories, January, 1985.

    Google Scholar 

  108. Emde, W., Habel, C. U. and Rollinger, C. R., The Discovery of the Equator or Concept Driven Learning, Proceedings of the International Joint Conference on Artificial IntelligenceKarlsruhe, Germany, 1983, 455–458.

    Google Scholar 

  109. Van Emden, M. H., Relational Programming Illustrated by a Program for the Game of Mastermind, Technical Report CS-78–48, Department of Computer Science, University of Waterloo,Canada, 1978.

    Google Scholar 

  110. Van Emden, M. H., Chess-Endgame Advice: A Case Study in Computer Utilization of Knowledge, Technical Report CS-8005, Department of Computer Science, University of Waterloo,Canada, 1980. Published in the Proceedings of the Infotech State-of-the-Art Conference on Expert Systems, London 1980.S

    Google Scholar 

  111. Van Emden, M. H., A Runnable Specification of AVL-Tree Insertion, Technical Report CS-81–14, Department of Computer Science, University of Waterloo,Canada, 1981.

    Google Scholar 

  112. Van Emden, M. H. and Goebel, R. G., Prolog Programming Environments, Logic Programming Group Bulletin,December, 1983, 1–2.

    Google Scholar 

  113. Van Emden, M. H. and Maibaum, T. S., Equations Compared with Clauses for Specification of Abstract Data Types, Technical Report, Department of Computer Science, University of Waterloo,Canada, 1979. Also appeared in Advances in Database Theory, H. Gallaire, J. Minker, and J.M. Nicolas(eds), Plenum Press, 1981..

    Google Scholar 

  114. Ennals, J. R., Teaching Logic as a Computer Language in Schools, Proceedings of the First International Logic Programming Conference, M. Van Caneghem, ed., Marseille, France, September 14–17, 1982, 99–104. Also Published in New Horizons in Educational Computing, M. Yazdani (ed), Ellis Horwood, 1984.

    Google Scholar 

  115. Ennals, J. R., Revolution in Education, Practical ComputingDecember, 1982, 137–138.

    Google Scholar 

  116. Ennals, J. R., Briggs, J. H. and Weir, D., Logic Across the Curriculum, AISB Easter Conference on Artificial Intelligence and EducationUniversity of Exeter, U.K., April 1983.

    Google Scholar 

  117. Eriksson, L. and Johansson, A. L.,Natded, A Derivation Editor, Technical Report, Computer Science Department, Uppsala University, 1982.

    Google Scholar 

  118. Eriksson, L. and Johansson, A. L., Computer-based Synthesis of Logic Programs, in Lecture Notes in Computer Science 187, International Symp On Programming, 5th colloquiumApril 1982.

    Google Scholar 

  119. Eriksson, L., Johansson, A. L. and Tarnlund, S. A., Toward a Derivation Editor, Proceedings of the First International Logic Programming ConferenceMarseille, France, September, 1982.

    Google Scholar 

  120. Eriksson, L. and Rayner, M., Incorporating Mutable Arrays in Logic Programming, Proceedings of the Second International Logic Programming ConferenceS. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 101–114.

    Google Scholar 

  121. Farkas, Z., Fileman, J., Markus, A. and Markusz, Z. S., Fixture Design by Prolog, Technical Report, University of Budapest, 1981.

    Google Scholar 

  122. Feigenbaum, E. A., Innovation and Symbol Manipulation in the Fifth Generation Computer Systems, in Fifth Generation Computer SystemsT. Moto-Oka, (ed.), North-Holland, New York, 1981. Proceedings of the First International Conference on Fifth Generation Computer Systems.

    Google Scholar 

  123. Ferrand, G., Error Diagnosis in Logic Programming, An Adaptation of E.Y. Shapiro’s Method, Technical Report 375, INRIA, Le Chesnay, France, 1985.

    Google Scholar 

  124. Feuer, A., Building Libraries in Prolog, Proceedings of the International Joint Conference on Artificial IntelligenceKarlsruhe, Germany, 1983.

    Google Scholar 

  125. Frey, W., Reyle, U. and Rohrer, C., Automatic Construction of a Knowledge Base by Analysing Texts in Natural Language, Proceedings of the International Joint Conference on Artificial IntelligenceKarlsruhe, Germany, 1983, 727–729.

    Google Scholar 

  126. Fujita, M., Tanaka, H. and Moto-Oka, T., Verification with Prolog and Temporal Logic, Proceedings of the Sixth Conference on Computer Hardware Description Languages1983.

    Google Scholar 

  127. Fujita, M., Tanaka, H. and Moto-Oka, T., Temporal Logic Based Hardware and its Verification with Prolog, New Generation Computing 12 (1983), Springer Verlag.

    Google Scholar 

  128. Fujita, M., Tanaka, H. and Moto-Oka, T., Specifying Hardware In Temporal Logic & Efficient Synthesis Of State-diagrams Using Prolog, International Conference On Fifth Generation Computer SystemsNovember 1984.

    Google Scholar 

  129. Furukawa, K. and Others, Problem Solving and Inference Mechanisms, in Fifth Generation Computer SystemsT. Motooka, (ed.), North-Holland, New York, 1981. Proceedings of the First International Conference on Fifth Generation Computer Systems.

    Google Scholar 

  130. Furukawa, K. and Fuchi, K., Knowledge Engineering and the Fifth Generation Computers, IEEE Database Engineering 64 (December 1983).

    Google Scholar 

  131. Furukawa, K., Takeuchi, A., Yasukawa, H. and Kunifuji, S., Mandala: A Logic Based Knowledge Programming System, International Conference On Fifth Generation Computer SystemsNovember 1984.

    Google Scholar 

  132. Futo, I., Intelligent and Programmable Backtracking Possibilities for the Communicating Possibilities of TS-Prolog, Technical Report, Institute for the Coordination of Computer Techniques, Budapest, Hungary, 1983. In Hungarian.

    Google Scholar 

  133. Futo, I., Goal Oriented Discrete/Continuous Simulation and Problem Solving in TS-Prolog, Technical Report, Institut for Coordination of Computer Techniques, Budapest, Hungary, 1984.

    Google Scholar 

  134. Futo, I., Combined Discrete/Continuous Modeling and Problem Solving, SCS Multi Conference on AI Graphics and SimulationSan Diego, California, January, 1985.

    Google Scholar 

  135. Futo, I., Darvas, F. and Cholnoky, E., Practical Applications of an Artificial Intelligence Language Prolog, Proceedings of the Second Hungarian Computer Science Conference,Budapest, 1977.

    Google Scholar 

  136. Futo, I., Darvas, F. and Szeredi, J., The Application of Prolog to the Development of QA and DBM Systems, in Logic and DatabasesH. Gallaire and J. Minker, (eds.), Plenum Press, 1978.

    Google Scholar 

  137. Futo, I. and Gergely, T., System Simulation on Prolog Basis, Logic Programming Newsletter4, (1982).

    Google Scholar 

  138. Futo, I. and Gergely, T., A Logical Approach to Simulation, Proceedings of the International Conference on Model RealismBad Honef, Germany, April, 1982.

    Google Scholar 

  139. Futo, I. and Gergely, T., A Logical Approach to Simulation, in Adequate Simulation of Systems,M. Wedde, (ed.), Springer-Verlag, 1983, 25–46.

    Google Scholar 

  140. Futo, I. and Gergely, T., Planning Activity Of Cooperative I-Actors, IPAC International Symposium on AI,Leningrad, USSR, October, 1983.

    Google Scholar 

  141. Futo, I. and Gergely, T., A Logic Simulation Language For Modeling Cooperative Problem Solving System, AFCNET Information Congress Hardware and Software Componentsand Architecture for the 5th GenerationParis, France, March, 1985.

    Google Scholar 

  142. Futo, I. and Szeredi, J., A Discrete Simulation System Based on Artificial Intelligence Methods, in Discrete Simulation and Related FieldsA. Javor, (ed.), North-Holland, 1982.

    Google Scholar 

  143. Futo, I. and Szeredi, J., Meta Control of process Synchronisation in T-Prolog, Logic Programming Newsletter,December, 1982.

    Google Scholar 

  144. Futo, I. and Szeredi, J., System Simulation and Co-Operative Problem Solvng on a Prolog Basis, in Implementations of PrologJ. A. Campbell, (ed.), Ellis Horwood, 1984.

    Google Scholar 

  145. Futo, I., Szeredi, J., Barath, E. and Szalo, P., Using T-Prolog for a Long-Range Regional Planning Problem, in Workshop on Logic ProgrammingS. Tarnlund, (eSd.), Debrecen, Hungary, July 1980.

    Google Scholar 

  146. Futo, I., Szeredi, J. and szenes, K., A Modelling Tool Based on Mathematical Logic: T-Prolog, Acta Cybernetica5, 3 (1981), 68–74. In Hungarian.

    Google Scholar 

  147. Futo, I., Szeredi, J. and Szenes, K., A Modelling Tool Based on Mathematical Logic - T-Prolog, Acta Cybernetica1985. Universitas Szegediensis de Attila Jozsef Nominata Forum Centrale Public ationum Cyberneticarum Hungaricarum, Hungary. (To Appear).

    Google Scholar 

  148. Gabriel, J. R., Algorithms for Automated Diagnosis of Faults in Physical Plants, Technical Report ANL-83–70, Argonne National Laboratory, Illinois, 1983.

    Google Scholar 

  149. Gabriel, J. R. and Roberts, P. R., A Signal Flow Model for Sequential Logic Built from Combinatorial Logic Elements and Its Implementation in Prolog, Technical Report ANL-84–89, Mathematics and Computer Science Division, Argonne National Laboratories, September, 1984.

    Google Scholar 

  150. Garrett, R., Glog: A Prolog Semi-Compiler for Non-Procedural Software Tools, M.S. Thesis, Department of Computer Science, Florida Atlantic University, Boca Raton, 1984.

    Google Scholar 

  151. Giraud, C., Logique et Conception Assistee par Ordinateur, These de Troisieme Cycle, University d’Aix-Marseille, France, 1980.

    Google Scholar 

  152. Giraud, C., The Presque Half-Plane: Towards a General Representation Scheme, Technical Report TR-83–04, EdCaad Department, University of Edinburgh, 1983.

    Google Scholar 

  153. Goebel, R. G., Using Hilbert terms to embed descriptions in PrologSyracuse University, Logic Programming Workshop, April 8–10, 1981.

    Google Scholar 

  154. Goebel, R. G., Intelligent UNIX Shell project, Logic Programming Group BulletinDecember 1983, 5–5.

    Google Scholar 

  155. Gonzalez, J. C., Williams, M. H. and Aitchison, I. E., Evaluation of the Effectiveness of Prolog for a CAD Application, Comp. Graphics and Applications?Mar. 1984, 67–75.

    Google Scholar 

  156. Goto, S. and Others, Proceedings of the RIMS Symposia on Software Science and EngineeringSpringer Verlag, 1983. Lecture Notes in Computer Science - 147.

    Google Scholar 

  157. Grau, B., Stalking “Coherence” In The Topical Jungle, International Conference On Fifth Generation Computer SystemsNovember 1984.

    Google Scholar 

  158. Gray, P. M. D. and Moffat, D. S., Manipulating Descriptions of Programs for Database Access, Proceedings of the International Joint Conference on Artificial Intelligence,Karlsruhe, Germany, 1983, 21–24.

    Google Scholar 

  159. Gregory, S., Neely, R. and Ringwood, G., Prolog for Specification, Verification and Simulation., 7TH International Symposium On Computer Hardware Description Languages And Their ApplicationsTokyo, August 1985.

    Google Scholar 

  160. Hagert, G. and Hansson, A., Logic Modelling of Cognitive Reasoning, UPMAIL Technical Report 21, Uppsala University, 1983.

    Google Scholar 

  161. Hagert, G. and Hansson, A., Reasoning Models within a Logical Famework, UPMAIL Technical Report 25, Uppsala University, 1984.

    Google Scholar 

  162. Hagert, G. and Tarnlund, S. A., Deductive Modelling of Cognitive Processes: A First Example, Working Papers of the Cognitive Seminar no. 51979.

    Google Scholar 

  163. Hagert, G. and Tarnlund, S. A., Deductive Modelling of Human Cognition, Proceedings of the International Joint Conference on Artificial IntelligenceVancouver, Canada, 1981. Also Technical Report, Computer Science Department, Uppsala University.

    Google Scholar 

  164. Hagino, T., Honda, M., Koga, A., Nakajima, R., Shibayama, E. and Yuasa, T., Iota on Dec System 20 - KWIC Example, Technical Report 419, Department of Computer Science, University of Kyoto, December 1982.

    Google Scholar 

  165. Hammond, P., A Listing of a Prolog Program Describing Entitlement to Supplementary Benefit, Technical Report, Department of Computer Science, Imperial College, London, June 1983.

    Google Scholar 

  166. Heck, N. and Avenhaus, J., Automatic Implementation Of Abstract Data Types Specified By The Logic Programming Language, International Conference On Fifth Generation Computer SystemsNovember 1984.

    Google Scholar 

  167. Hogger, C. J., Logic Programming and Program Verification: Advances and Application, in Info tech State of the Art Report Series 10 No 2P. J. L. Wallis, (ed.), Pergamon Infotech Limited, Maidenhead, Bershire, England, 1982. Issue on Programming Technology.

    Google Scholar 

  168. Horstmann, P. W., Digital Logic Simulation in prolog, Technical Report, Department of Computer Science, University of Waterloo, February 1983.

    Google Scholar 

  169. Ishii, A., Handling of Bit Tables in Prolog, Technical Memorandum TM-0013, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983. In Japanese.

    Google Scholar 

  170. Jarke, M., External Semantic Query Simplification: A Graph-Theoretic Approach and Its Implementation in Prolog, Technical Report CRIS 75, Graduate School of Business, New York University, 1984.

    Google Scholar 

  171. Jarke, M., Clifford, J. and Vassiliou, Y., An Optimizing Prolog Front-End to a Relational Query System, Proceedings of the ACM SIGMOD ConferenceBoston, 1984. Also Technical Report CRIS 65, Graduate School of Business, New York University.

    Google Scholar 

  172. Jarke, M. and Sivasankaran, T., Formula Management Stategies in an Actuarial Consulting System, Technical Report CRIS-69, Graduate School of Management, New York University, 1984.

    Google Scholar 

  173. Jenkins, L. E., Compiling High-Level Chip Descriptions into an Intermediate Representation, DAI Research Paper No 117, Department of Artificial Intelligence, University of Edinburgh, 1983.

    Google Scholar 

  174. Johansson, A. L., Using Symmetry For The Derivation of Logic Programs, Proceedings of the Second International Logic Programming ConferenceS. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 243–252.

    Google Scholar 

  175. Julien, S., Graphics in Micro-Prolog, Technical Report 82–17, Computer Science Department, Imperial College, London, 1982.

    Google Scholar 

  176. Kahn, K. M., Intermission - Actors in Prolog, in Workshop on Logic ProgrammingS. Tarnlund, (ed.), Debrecen, Hungary, July 1980. Also in Logic Programming, Clark and Tarnlund, Academic Press, 1982.

    Google Scholar 

  177. Kahn, K. M,, A Partial Evaluator of Lisp Programs Written in Prolog, Proceedings of the First International Logic Programming ConferenceM. Van Caneghem, ed., Marseille, France, September 14–17, 1982, 19–25.

    Google Scholar 

  178. Kahn, K. M., A Pure Prolog Written in Pure Lisp, Logic Programming NewsletterWinter 1983/1984.

    Google Scholar 

  179. Kahn, K. M., Experiences in Transporting Concurrent Prolog and the Bagel Simulator to LM-PROLOG - Part I of a Report of a Visit to ICOT November 1983, Draft Paper,1984.

    Google Scholar 

  180. Kahn, K. M., Partial Evaluation, Programming Methodology, and Artificial Intelligence, The AI Magazine 51 (Spring 1984).

    Google Scholar 

  181. Kahn, K. M. and Carlsson, M., How To Implement Prolog On a Lisp Machine, in Issues In Prolog ImplementationsJ. Campbell, (ed.), 1984.

    Google Scholar 

  182. Kanoui, H., Application de la Demonstration Automatique aux Manipulations Algebriques et a l’Integration Formelle sur Ordinateur, Technical Report, Groupe d’Intelligence Artificielle, Universite d’Aix-Marseille II Marseille, France, 1973.

    Google Scholar 

  183. Kaposi, A. A. and Markusz, Z. S., Introduction of a Complexity Measure for Control of Design Errors in Logic Based Programs, Proceedings of CAD-80 Held in BrightonBrighton, England, 1980.

    Google Scholar 

  184. Kasif, S., A Note on Translating Flowchart and Recursive Schemas to Prolog Schemas, Technical Report TR-1273, Department of Computer Science, University of Maryland, 1983.

    Google Scholar 

  185. Kitagawa, T., Computer Science and TechnologiesNorth-Holland, 1982.

    Google Scholar 

  186. Kluzniak, F., SPOQUEL: A Simple Prolog-Oriented Query Language, Technical Report, Department of Computer Science, Warsaw University, Poland, 1983.

    Google Scholar 

  187. Kofalusi, V., A Prolog Program for Generating the First n Formal Deratives of Given, Real Multi-Variable Analalytic Functions of Great Complexity, in Technical Report SOFTTECH D42SZAMKI, Hungary, 1979. In Hungarian.

    Google Scholar 

  188. Kofalusi, V. and Bartha, F., On a Possible Application and Extension of Prolog: Applications Based on State Space Sets, in Technical Report SOFTTECH D42SZAMKI, Hungary, 1979, In Hungarian.

    Google Scholar 

  189. Kogan, D. and Freiling, M., SIDUR-Structure Formalism For Knowledge Information Processing, International Conference On Fifth Generation Computer SystemsNovember 1984.

    Google Scholar 

  190. Komorowski, H. J., Interactive and Incremental Programming Environments: Experience, Foundations, and Future, Technical Report TR-09–83, Department of Computer Science, Harvard University, 1983.

    Google Scholar 

  191. Komorowski, H. J., Rapid Software Development in a Database Framework - A Case Study, Proceedings of the IEEE International Conference on Data EngineeringLos Angeles, 1984.

    Google Scholar 

  192. Kowalski, R. A., Logic for Data Description, in Logic and DatabasesH. Gallaire and J. Minker, (eds.), Plenum Press, 1978,77–103.

    Google Scholar 

  193. Kowalski, R. A., Logic for Problem Solving,Elsevier North-Holland, New-York, 1979.

    MATH  Google Scholar 

  194. Kowalski, R. A., Logic Programming, Proceedings of the IFIP-83 CongressAmsterdam, 1983, 133–145.

    Google Scholar 

  195. Kowalski, R. A., AI and Software Engineering, DatamationNovember, 1984.

    Google Scholar 

  196. Kriwaczek, F. R., Some Applications of Prolog to Decision Support Systems, Technical Report, Department of Computer Science, Imperial College, London, 1982.

    Google Scholar 

  197. Kriwaczek, F. R., A Critical Path Analysis Program, in Micro-Prolog: Programming In LogicK. L. Clark and S. A. Tarnlund, (eds.), Prentice Hall, 1984.

    Google Scholar 

  198. Kukich, K., Knowledge-Based Report Generation: A Technique for Automatically Generating Natural Language Reports from Databases, Proceedings of the ACM SIGIR Conference on Research and Development in Information RetrievalBethesda, June, 1983, 307–344.

    Google Scholar 

  199. Kunifuji, S., Takeuchi, A., Furukawa, K., Ueda, K. and Kurukawa, T., A Logic Programming Language for Knowledge Utilization and Realization, Proceedings of the Prolog ConferenceTukuba, Japan, 1982. In Japanese.

    Google Scholar 

  200. Kusalik, A. J., The File System of a Logical Operating System, Technical Report 84–21, Department of Computer Science, University of British Columbia, Canada, 1984.

    Google Scholar 

  201. Lassez, C., Problem Solving with the Computer: Logo versus Prolog, Proc. of ACS Computers in Education Conference,Sydney, 1984.

    Google Scholar 

  202. Leibrandt, U. and Schnupp, P., R. Budde, ed., An Evaluation of Prolog as a Prototyping System,Springer-Verlag, Berlin, 1984.

    Google Scholar 

  203. Lieberman, H., Programming Descriptive Analogies By Example, Internal Paper AI Laboratory MITDecember 1983.

    Google Scholar 

  204. Littleford, A., A Mycin-Like Expert System in Prolog, Proceedings of the Second International Logic Programming Conference S.Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 289–300.

    Google Scholar 

  205. Logrippo, L. and Skuce, D., File Structures, Program Structures and Attributes Grammars, IEEE Transactions on Software Engineering9, 3 (May 1983).

    Google Scholar 

  206. Luger, G., Mathematical Model Building in the Solution of Mechanics Problems: Human Protocols and the Mecho Trace, Cognitive Science5, (1981), 55–77.

    Google Scholar 

  207. Mangir, T. and Chen-Ellis, G., Rule Based Generation of Test Structures for VLSI, Technical Report CSD-840059, Department of Computer Science, University of California, Los Angeles, 1984.

    Google Scholar 

  208. Mangir, T. and Soeterman, B., Control Structures in a Prolog-Based Production System, Technical Report CSD-840054, Department of Computer Science, University of California, Los Angeles, 1984.

    Google Scholar 

  209. Markus, A. and Molnar, E., Logic Programming in the Modelling of Machine Ports, Proceedings of Compcontrol 81Varna, Bulgaria, 1981.

    Google Scholar 

  210. Markus, A., Molnar, E. and Szelke, E., Logic Programming in the Design of Production Control Systems, Proceedings of Compcontrol 81Varna, Bulgaria, 1981.

    Google Scholar 

  211. Markusz, Z. S., How to Design Variants of Flats Using the Programming Language Prolog based on Mathematical Logic, Proceedings IFIP77, 1977, 885–889. North Holland.

    Google Scholar 

  212. Markusz, Z. S., The Application of the Programming Language Prolog for Panel House Design, Informacio-Elektronika XII3 (1977), 124–230. In Hungarian.

    Google Scholar 

  213. Markusz, Z. S., Logic Based Programming Method and Its Applications for Architectural Design Problems, Ph.D. Dissertation, Eotvos Lorand University, Budapest, Hungary, 1980. In Hungarian.

    Google Scholar 

  214. Markusz, Z. S., Applications of Prolog in Designing Many-Storied Dwelling Houses, in Workshop on Logic Programming,S. A. Tarnlund, (ed.), Debrecen, Hungary, July 1980.

    Google Scholar 

  215. Markusz, Z. S., Design in Logic, Working Paper Ap-13, SZTAKI, Budapest, Hungary, 1981. In Hungarian.

    Google Scholar 

  216. Markusz, Z. S., Knowledge Representation of Design in Many-Sorted Logic, Proceedings Seventh International Joint Conference on Artificial Intelligence,August 1981.

    Google Scholar 

  217. Markusz, Z. S., Design in Logic, Computer-Aided design 146 (1982), 335–343.

    Google Scholar 

  218. Markusz, Z. S. and Kaposi, A. A., A Design Methodology in Prolog Programming, Proceedings of the First International Logic Programming ConferenceMarseille, France, 1981.

    Google Scholar 

  219. Maruyama, F. and Fujita, M., Hardware Verification, IEEE Computer 182 (February, 1985).

    Google Scholar 

  220. Maruyama, F. and Yonezawa, A., A Prolog-Based Natural Language Front-End System, New Generation Computing 21 (1984).

    Google Scholar 

  221. Masuda, K., Ito, N. and Siiimizu, H., Simulating Evaluation of Dataflow Prolog Machines, Technical Memorandum TM-0020, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983. In Japanese.

    Google Scholar 

  222. Matos, A., A Prolog Implementation of the Knuth-Rendix Reduction System, Technical Report, Universidade do Porto, Portugal:.1982.

    Google Scholar 

  223. Matrai, G., The Application of Prolog for Search of Similar Substructures of Enzyme Sequences, MTA SBZK Technical Report, Budapest, Hungary, 1979. In Hungarian.

    Google Scholar 

  224. Mellish, C. S., An Approach to the GUS Travel Agent Problem Using Prolog, Working Paper 19, Department of Artificial Intelligence, University of Edinburgh, 1977.

    Google Scholar 

  225. Mellish, C. S., Automatic Generation of Mode Declarations in Prolog Programs, Workshop on Logic ProgrammingLong Beach, Los Angeles, September 1981.

    Google Scholar 

  226. Mizoguchi, F., A Software Environment for Developing Knowledge-Based Systems, in Computer Scienceand Technologies: 1982T. Kitagawa, (ed.), Elsevier North-Holland, New-York, 1982, 334–349.

    Google Scholar 

  227. Mizoguchi, F., Katayama, Y. and Owada, H., Looks: Knowledge Representation System For Designing Expert System In The Framework of Logic Programming, International Conference On Fifth Generation Computer SystemsNovember 1984.

    Google Scholar 

  228. Montgomery, C. A. and Ruspnvi, E. H., The Active Information System: A Data-Driven System for the Analysis of Imprecise Data, Workshop on Logic Programming, Long Beach, Los Angeles, September 1981. Also in VLDB 1981.

    Google Scholar 

  229. Morris, P. H., Transporting Values via Relative Assertions, Logic Programming NewsletterMarch 1981.

    Google Scholar 

  230. Moss, C. D., A Formal Definition of ASPLE Using Predicate Logic, Report 80–81, Imperial College, London, 1980.

    Google Scholar 

  231. Moss, C. D., The Formal Description of Programming Languages Using Predicate Logic, Technical Report, Imperial College, London, 1981. P.H. Dissertation.

    Google Scholar 

  232. Moss, C. D., How to Define a Language Using Prolog, Proceedings of the 1982 ACM Conference on LISP and Functional Programming,Pitssburgh, 1982, 67–73.

    Google Scholar 

  233. Motoda, H., Yamada, N. and Yoshida, K., A Knowledge Based System For Plant Diagnosis, International Conference On Fifth Generation Computer SystemsNovember 1984.

    Google Scholar 

  234. Mozetic, I., Bratkö, I. and Navrao, L., An Experiment in Automatic Synthesis of Expert Knowledge through Qualitative Modelling, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  235. Mycroft, A. and O’keefe, R. A., A Polymorphic Type System for Prolog, Proceedings of Logic Programming WorkshopUniversidade Nova de Lisboa, Portugal, 1983. Also Research Paper 211, Department of Artificial Intelligence, University of Edinburgh.

    Google Scholar 

  236. Narain, S., A Technique for Doing Lazy Evaluation in Logic, Proceedings of the 2nd IEEE International Symposium on Logic Programming, Boston, USA, July, 1985.

    Google Scholar 

  237. Nichol, J. and Dean, J., Pupils, Computers and History Teaching, in New Horizons in Educational Programming, M. Yazdani, (ed.), Ellis Horwood, 1984.

    Google Scholar 

  238. Nicolas, J. M. and Gallaire, H., Databases: Theory Versus Interpretation, in Logic and DatabasesH. Gallaire and J. Minker, (eds.), Plenum Press, 1978.

    Google Scholar 

  239. Nilsson, M., A Logical Model of Knowledge, Proceedings of the International Joint Conference on Artificial Intelligence, Karlsruhe, Germany, 1983, 374–376.

    Google Scholar 

  240. Nilsson, M., A Logical Model of Knowledge and Belief, UPMAIL Technical Report 28, Uppsala University, 1984.

    Google Scholar 

  241. Nilsson, M., Prolog As A Tool For Optimizing PROLOG Unifiers, Proceedings of the Second International Logic Programming ConferenceS. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 13–22.

    Google Scholar 

  242. Noelke, U. and Savory, S., Prolog-Systeme im Vergleich, Angewandte Informatik1984, 108–112.

    Google Scholar 

  243. Norton, L. M., Automated Analysis of Instructional Text, Artificial Intelligence 203 (May, 1983), 307–344.

    Google Scholar 

  244. O’keefe, R. A., A Smooth Applicative Merge Sort, DAI Research Paper No. 182, Department of Artificial Intelligence, University of Edinburgh, 1982.

    Google Scholar 

  245. O’keefe, R. A., Automated Statistical Analysis, DAI Research Paper No 104, Department of Artificial Intelligence, University of Edinburgh, 1982.

    Google Scholar 

  246. O’shea, T. and Eisenstadt, M., Artificial Intelligence: Tools Techniques and ApplicationsHarper and Row, New York, 1984. Editors.

    Google Scholar 

  247. Ohsuga, S., Knowledge-Based Systems as a New Interactive Computer System of the Next Generation, in Computer Science and Technologies: 1982T. Kitagawa, (ed.), Elsevier North-Holland, New-York, 1982, 227–249.

    Google Scholar 

  248. Pakalns, J. L., Aha, A UNIX Consultant, Technical Report-Master’s Thesis, Department of Computer Science, University of Waterloo, 1983.

    Google Scholar 

  249. Palmer, M. S., Inference-Driven Semantic Analysis, in Proceedings of National Conference on Artificial Intelligence AAAI-88Washington D.C., August 1983.

    Google Scholar 

  250. Pereira, F. C. N., SeeLog: A Prolog Graphics Interface, Technical Report, EdCaad, University of Edinburgh, 1982.

    Google Scholar 

  251. Pique, J. F., Drawing Trees and their Equations in Prolog, Proceedings of the Second International Logic Programming ConferenceS. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 23–34.

    Google Scholar 

  252. Plaisted, D. A., An Efficient Bug Location Algorithm, Proceedings of the Second International Logic Programming ConferenceS. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 151–158.

    Google Scholar 

  253. Pollit, A. S., End User Touch Searching for Cancer Therapy Literature - A Rule Based Approach, Proceedings of the ACM SIGIR Conference on Research and Development in Information Retrieval,Bethesda, June, 1983, 136–145.

    Google Scholar 

  254. Porto, A., A Prolog Program for the S-P Problem, Logic Programming Newsletter,March 1981.

    Google Scholar 

  255. Powers, D. M. W., Robot Intelligence, Departmental Report 8304, Department of Computer Science, EECS, University of New South Wales, Sydney, NSW, Australia, March 1983. Also in Electronics Today International (Australia) December 1983.

    Google Scholar 

  256. Powers, D. M. W., Playing Mastermind more Logically Or Writing Prolog more Efficiently, SIGARTJuly, 1984, 15–18.

    Google Scholar 

  257. Powers, D. M. W. and Mcmahon, G. B., A Compendium of interesting Prolog programmes, DCS Report 8313, University of New South Wales, December 1983.

    Google Scholar 

  258. Rich, C., Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eating it Too, Proceedings of the National Conference on Artificial IntelligenceCarnegie-Mellon University, August 1982. AAAI82.

    Google Scholar 

  259. Ridd, S., An Investigation of Prolog as an Aid to French Teaching and Language Translation, Technical Report, Department of Computer Science, Imperial College, London, 1982.

    Google Scholar 

  260. Riet, R. P. V., Knowledge Bases: De Databanken van de Toekomst, Informatie 255 (1983), 16–23. In Dutch.

    Google Scholar 

  261. Roach, J. W., A Prolog Simulation of Migration Decision-Making in a Less Developed Country, Proceedings of the First International Logic Programming Conference,Marseille, France, 1981.

    Google Scholar 

  262. Roy, S. and Hill, D. D., Prolog in CMOS Circuit Design, Proceedings of the IEEE Spring Comp Con ConferenceSan Francisco, February, 1985.

    Google Scholar 

  263. Saraa, M. and Shapiro, E. Y., A Rational Design For Prolog Systems, Draft Paper, Rechovot, Israel, 1984.

    Google Scholar 

  264. Sagiv, Y. and Saint-Dizier, P., Modelling Human-Computer Interactions in a Friendly Interface, Proceedings of Workshop on Logic Programming, Algarve, Portugal, 1983.

    Google Scholar 

  265. Sandewall, E., A Programming Tool for Management of a Predicate-Calculus Oriented Data Base, Proceedings of the Second International Joint Conference on Artificial Intelligence, London, 1971.

    Google Scholar 

  266. Santane-Toth, E. and Szeredi, P., Prolog Applications in Hungary, in Logic ProgrammingK. L. Clarkand S. Tarnlund, (eds.), Academic Press, New York, 1982. A.P.I.C. Studies in Data Processing No. 16.

    Google Scholar 

  267. De Saram, H., Prolog for Children and Teachers, AISB Easter Conference on Artificial Intelligence and Education, University of Exeter,U.K., April 1983.

    Google Scholar 

  268. Schnupp, P., Prolog as Spezifikations- und Modelierungswerkzeug, in Requirements Engineering - Arbeitstagung der GIG. H. D. Kronig, (ed.), Springer-Verlag, Informatik-Fackberichte 74, Berlin, 1983, 173–182.

    Google Scholar 

  269. Schnupf, P. and Sylla, K. H., Objectorientierte Organisation von Wissenbasen oder die Klasse prolog in einer Software-Entwicklungsumgebung, in Objectorientierte Software-und Hardwarearchitecturen - Tagung 11/1983 desGerman Chapter of the ACM,H. S. H. Wedekind, (ed,), Berlin, May 1983.

    Google Scholar 

  270. Sebelik, J. and Stefanek, P., Horn Clause Programs for Recursive Functions, in Logic Programming,K. L. C. S. Tarnlund, (ed.), Academic Press, New York, 1982. A,P,I.C. Studies in Data Processing No. 16.

    Google Scholar 

  271. Seidel, R., A New method for Solving Constraint Satisfaction Problems, Proceedings of the Seventh International Conference on Artificial Intelligence,Vancouver, August, 1981, 338–342.

    Google Scholar 

  272. Sergot, M. J., Prospects for Representing the Law as Logic Programs, in Logic Programming,K. L. Clark and S. Tarnlund, (eds.), Academic Press, New York, 1982. A,P.I.C. Studies in Data Processing No. 16.

    Google Scholar 

  273. Sergot, M. J., A Query-The-User Facility for Logic Programs, in Integrated Interactive Computer Systems,P. Degano and E. Sandwell, (eds.), North-Holland, 1983. Also available as Technical Report 82–18 from Imperial College, London - Also Published in New Horizons in Educational Computing, M. Yazdani (ed), Ellis Horwood, 1984.

    Google Scholar 

  274. Shapiro, E, Y., Algorithmic Program Debugging,MIT Press, 1983, Ph.D. thesis,Yale University,May 1982.

    Google Scholar 

  275. Shapiro, E. Y., Playing Mastermind Logically, ACM SigArt Newsletter 85,(July, 1983), 28–29.

    Google Scholar 

  276. Shidu, D. P., Logic and Protocol Verification, Technical Report, SDC - Burroughs, 1983.

    Google Scholar 

  277. Shidu, D. P., Logic Programming and Validation of Key Distribution Protocols, Technical Report, SDC - Burroughs, 1983.

    Google Scholar 

  278. Shidu, D. P., Protocol Verification via Executable Logic Specification, Proceedings of the Third International Workshop on Protocol Specification, Testing and Verification,Switserland, June, 1983

    Google Scholar 

  279. Shoham, Y., FAME: A Prolog Program that Solves Problems in Combinatorics, Proceedings of the Second International Logic Programming Conference,S. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 277–288.

    Google Scholar 

  280. Silver, B., Learning Algebraic Methods from Examples - A Progress Report, DAI Research Paper No 129, Department of Artificial Intelligence, University of Edinburgh, 1982.

    Google Scholar 

  281. Silver, B., An Algebra Learning Program - Thesis Proposal, DAI Working Paper No 111, Department of Artificial Intelligence, University of Edinburgh, 1982.

    Google Scholar 

  282. Silver, B., The Application of Homogenization to Simultaneous Equations, 6th Conference on Automated Deduction,D. W. Loveland, ed., 1982, 132–143. Also Lecture Notes in Computer Science No. 138, and, DAI Research Paper No 166, Department of Artificial Intelligence, University of Edinburgh.

    Google Scholar 

  283. Silver, B. and Bundy, A., Homogenization: Preparing Equations for Change of Unknown, DAI Research Paper No 159, Department of Artificial Intelligence, University of Edinburgh, 1981.

    Google Scholar 

  284. Skuce, D. Towards Communicating Qualitative Knowledge between Scientists and Machines, Ph.D. Dissertation, Department of Computer Science, McGill University, Montreal, 1977.

    Google Scholar 

  285. Skuce, D., An Approach to Defining and Communicating the Conceptual Structure of Data, Technical Report TR-79–05, Department of Computer Science, University of Ottawa, Canada, 1979.

    Google Scholar 

  286. Skuce, D., Module Development Based on Program Transformation and Automatic Generation of the Input-Output Relation, Proceedings of the First International Logic Programming Conference,M. Van Caneghem, ed., Marseille, France, September 1982.

    Google Scholar 

  287. Smith, P. and Sterling, L., Of Integration by Man and Machine, SIGSAM Bulletin 17,3&4 (1983), 21–24. Also available from Edinburgh as Rsearch Paper 210.

    Google Scholar 

  288. Spacek, L., A Portable Prolog Tracing Package, Technical Report, University of Sussex, England, 1982.

    Google Scholar 

  289. Stepankova, O., A Decision Method for Process Logic, in Workshop on Logic Programming,S. A. Tarnlund, (ed.), Debrecen, Hungary, July 1980.

    Google Scholar 

  290. Stepankova, O. and Stepanek, P., Computation Trees and Transformation of Logic Programs, Proceedings of the Second International Logic Programming Conference,S. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 53–64.

    Google Scholar 

  291. Sterling, L., IMPRESS - Meta-Level Concepts in Theorem Proving, DAI Research Paper No 119, Department of Artificial Intelligence, University of Edinburgh, 1983.

    Google Scholar 

  292. Sterling, L. and Bundy, A., Meta-Level Inference and Program Verification, in Lecture Notes in Computer Science 188: 6th Conference on Automated Deduction,D. W. Loveland, (ed.), Springer-Verlag, 1982, 144–150. Also available from Edinburgh as DAI Research Paper no. 168.

    Google Scholar 

  293. Sterling, L., Bundy, A., Byrd, L., O’keefe, R. A. and Silver, B., Solving Symbolic Equations with PRESS, in Lecture Notes in Computer Science 14.4 Computer Algebra, J.Calmet, (ed.), Springer-Verlag, New York, 1982, 109–116. Longer version available from Edinburgh as Research Paper 171.

    Google Scholar 

  294. Sun, H. and Wang, L., A Model Theory of Logic Programming Methodology, Proceedings of the Second International Logic Programming Conference,S. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 253–263.

    Google Scholar 

  295. Suwa, M. and Others, Knowledge Base Mechanisms, in Fifth Generation Computer Systems,T. Moto-Oka, (ed.), North-Holland, New York, 1981. Proceedings of the First International Conference on Fifth Generation Computer Systems.

    Google Scholar 

  296. Suzuki, N., Concurrent Prolog as an Efficient VLSI Design Language, IEEE Computer 18,2 (February, 1985).

    Google Scholar 

  297. Swinson, P. S. G., Prescriptive and Descriptive Programming, Technical Report TR-80–11, EdCaad Department, University of Edinburgh, 1980. Also Published in the Proceedings of the Logic Programming Conference of 1981, held in Debrecen, Hungary.

    Google Scholar 

  298. Swinson, P. S. G., Logic Programming - A Computing Tool for the Architect of the Future, Computer-Aided Design 14,2 (March 1982).

    Google Scholar 

  299. Swinson, P. S. G., Prolog: A Prelude to a New Generation of CAAD, Technical Report TR-83–01, EdCaad Department, University of Edinburgh, 1983.

    Google Scholar 

  300. Swinson, P. S. G., Pereira, F. C. N. and Bijl, A., A Fact Dependency System for the Logic Programmer, Computer-Aided Design,July, 1983. Also available as EdCaad Technical Report 82–03, University of Edinburgh.

    Google Scholar 

  301. Szenes, K., Futo, I. and Szeredi, J., A Comparison of the Traditional and a New-principle Way Of Parallel Systems, Description, Simulation and Planning, CL 6 CL,1985. Computer and Automation Institute, Hungarian Institute, Hungarian Academy of Sciences. (To appear).

    Google Scholar 

  302. Szeredi, J., On the Application of Mathematical Logic in Computer Techniques, Ph.D. Dissertation, Hungary. In Hungarian.

    Google Scholar 

  303. Szpakowicz, S., Papers in Logic Programming, Report nr. 104, Warsaw University, Poland, 1982.

    Google Scholar 

  304. Szuba, T., Automatic Program Synthesis Systems for N.C. Machine Tools Based on PC-Prolog, Angewandte Informatik,1984,171–243.

    Google Scholar 

  305. Tagaki, S., Yokoi, T., Uchida, S., Kurokawa, T., Hattori, T., Chikayama, T., Sakai, K. and Tsuji, J., Overall Design Of Simpos, Proceedings of the Second International Logic Programming Conference,S. A. Tarnlund, ed., Uppsala University, Uppsala, Sweden, July 2–6, 1984, 1–12.

    Google Scholar 

  306. Tamaki, H. and Sato, T., A Transformation System for Logic Programs which Preserves Equivalence, Technical Report TR018, ICOT - Institute for New Generation Computer Technology, Tokyo, Japan, 1983.

    Google Scholar 

  307. Tanaka, H. and Others, Intelligent Man-Machine Interface, in Fifth Generation Computer Systems,T. Moto-Oka, (ed.), North-Holland, New York, 1981. Proceedings of the First International Conference on Fifth Generation Computer Systems.

    Google Scholar 

  308. S. A. Tarnlund, ed., Proceedings of the 1980 Logic Programming Workshop, Debrecen, HungaryDepartment of Computer Science, University of Stockholm, Sweden., 1981.

    Google Scholar 

  309. Todd, S., Automatic Constraint Maintenance and Updating Defined Relations, in Information Processing,B. Gilchrist, (ed.), IFIP, North-Holland, 1977, 145–148.

    Google Scholar 

  310. Tokoro, M., Ishikawa, Y., Maruichi, T. and Kawamura, M., An Object Oriented Approach To Knowledge Systems, International Conference On Fifth Generation Computer Systems,November 1984.

    Google Scholar 

  311. Torii, K., Sugiyama, Y. and Morisawa, Y., Functional Programming and Logic Programming for Telegram Analysis Problem, Proceedings of the Seventh IEEE International Conference on Software Engineering,1984.

    Google Scholar 

  312. Uehara, K. and Others, Steps Toward An Actor-oriented Integrated Parser, International Conference On Fifth Generation Computer Systems,November 1984.

    Google Scholar 

  313. Uehara, T. and Kawato, N., Logic Circuit Synthesis Using Prolog, New Generation Computing 1,2 (1983), Springer Verlag.

    Google Scholar 

  314. Vassey, P., AVL-Tree Insertion Re-Visited, Logic Programming Newsletter,July, 1982.

    Google Scholar 

  315. Walker, A., SYLLOG: An Approach to Prolog for Nonprogrammers, Technical Report RJ 3950, IBM Watson Research Center, 1983.

    Google Scholar 

  316. Wallen, L. A., Using Proof Plans to Control Deduction, Research Paper 185, Department of Artificial Intelligence, University of Edinburgh, February, 1983.

    Google Scholar 

  317. Wallen, L. A., Towards the Provision of a Natural Mechanism for Expressing Domain-Specific Global Strategies in General Purpose Theorem-Provers, Research Paper 202, Department of Artificial Intelligence, University of Edinburgh, September, 1983.

    Google Scholar 

  318. Warren, D. H. D., Warplan: A System for Generating Plans, DCL Memo 76, Department of Artificial Intelligence, University of Edinburgh Scotland, 1974.

    Google Scholar 

  319. Warren, D. H. D., Generating Conditional Plans and Program, Proceedings of the AISB Summer Conference,Edinburgh, Scotland, July, 1976.

    Google Scholar 

  320. Warren, D. H. D., Applied Logic - Its Use and Implementation as Programming Tool, Ph.D. thesis, University of Edinburgh, U.K., 1977. Reprinted as Technical Note 290, 1983, Artificial Intelligence Center, SRI International, Menlo Park, California.

    Google Scholar 

  321. Warren, D. H. D., Logic for Compiler Writing, Software Practice and Experience 10, 1(1980), 97–125. Also available as DAI Research Paper 44 from Department of Artificial Intelligence, University of Edinburgh.

    Google Scholar 

  322. Warren, D. H. D., Perpetual Processes - An Unexploited Prolog Technique, Proceedings of the Prolog Programming Environments Workshop,Linkoping University, Sweden, 1982.

    Google Scholar 

  323. Weir, D., Teaching Logic Programming: An Interactive Approach, Technical Report, Department of Computer Science, Imperial College, London, 1982.

    Google Scholar 

  324. Weir, D., Teaching Logic Programming, M.Sc. Thesis, Imperial College, London, 1982.

    Google Scholar 

  325. Welham, R., Solving Algebraic Equations: An Artificial Intelligence Approach, Computer Age,September, 1980.

    Google Scholar 

  326. Wilson, W. G. and John, C. C., Semantic Code Analysis, Proceedings of the International Joint Conference on Artificial Intelligence,Karlsruhe, Germany, 1983.

    Google Scholar 

  327. Wisskirchen, P., Niehuis, S. and Victor, F., Ein Rechnergestutzter Burosimulator auf der Basis von Petri-Netzen und Prolog, Angewandte Informatik,1984, 181–188.

    Google Scholar 

  328. Woehl, K., Automatic Classification Of Office Documents By Coupling Relational Databases And Prolog Expert Systems, Proceedings of the Tenth Conference On Very Large Data Bases,Singapore, August, 1984.

    Google Scholar 

  329. Wos, L., Achievements in Automated Reasoning, SIAM News, July, 1984, 4–5.

    Google Scholar 

  330. Wos, L., Automated Reasoning Programs: How They Work, SIAM News, September, 1984, 4–5.

    Google Scholar 

  331. Wos, L., Automated Reasoning, American Mathematical Monthly 92, (February, 1985), 85–92.

    Google Scholar 

  332. Yazdani, M., Intelligent Educational ComputingEllis Horwood, 1983.

    Google Scholar 

  333. Yazdani, M., New Horizons in Educational ProgrammingEllis Horwood, 1984. Editor.

    Google Scholar 

  334. Yazdani, M., Towards a Micro-Prolog World for Children, Proceedings of the 2nd Commodores in Education ConferenceChichester, 1984.

    Google Scholar 

  335. Yokoi, T. and Others, Logic Programming and a Dedicated High-Performance Personal Computer, in Fifth Generation Computer Systems,T. Moto-Oka, (ed.), North-Holland, New York, 1981. Proceedings of the First International Conference on Fifth Generation Computer Systems.

    Google Scholar 

  336. Zarri, G. P., Intelligent Information Retrieval: An Interesting Application Area For The New Generation Computer Systems, International Conference On Fifth Generation Computer Systems, November 1984.

    Google Scholar 

  337. Zaumen, W. T., Computer Assisted Circuit Evaluation in Prolog for VLSI, Proceedings of ACM/SIGMOD Conference on Modelling of Data, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Melbourne, 3052, Parkville, Victoria, Australia

    Isaac Balbin

  2. Computer Science Department, University of California, 90024, Los Angeles, California, USA

    Koenraad Lecot

Authors
  1. Isaac Balbin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koenraad Lecot
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Isaac Balbin and Koenraad Lecot

About this chapter

Cite this chapter

Balbin, I., Lecot, K. (1985). Other Application Areas of Logic Programming. In: Logic Programming. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-5044-3_13

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-5044-3_13

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-0-908069-15-6

  • Online ISBN: 978-94-009-5044-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation