Skip to main content

The Application of Prolog to the Development of QA and DBM Systems

  • Chapter

Abstract

Experience gained in the development of Question-Answering (QA) and Data Base Management (DBM) systems using a logic-based, very high level language, PROLOG, is summarized. The PROLOG language is introduced first. Those modifications to the language that were necessitated by the above applications are described. Subsequently, an experimental QA system dealing with drug data and drug interactions, and two operative DBM systems are described. Finally, some advantages obtained in using PROLOG for QA and DBM system implementations are discussed, and continued developments of PROLOG are presented.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Battani, G. and Meloni, H. [1973] Interpreteur dur language de programation PROLOG, Groupe de l’Intelligence Artificielle, U.E.R. de Luminy, Marseille, 1973.

    Google Scholar 

  2. Bruynooghe, M. [1977] An Interface between PROLOG and CYBER-EDMS, Proceedings of Workshop on Logic and Data Bases, Toulouse, 1977, VII/1-VII/7.

    Google Scholar 

  3. Codd, E. F. [1970] A Relational Model of Data for Large Shared Data Banks, CACM 13,6 (June 1970), 377–387.

    MATH  Google Scholar 

  4. Deliyanni, A. and Kowalski, R. [1977] Logic and Semantic Networks, Proceedings of Workshop on Logic and Data Bases, Toulouse, 1977, XII/1-XII/7.

    Google Scholar 

  5. Darvas, F. and Futó, I. and Szeredi, P. [1976] Some Applications of Theorem-Proving Based Machine Intelligence in QSAR, Proceedings of the International Symphosium on QSAR Suhl, GDR, in press.

    Google Scholar 

  6. Futó, I., Darvas, F. and Cholnoky, E. [1977] Practical Application of an AI Language, II, Proceedings of the Hungarian Conference on Computing, Budapest, 1977, 385–400.

    Google Scholar 

  7. Kowalski, R. [1974] Predicate Logic as a Programming Language, DCL Memo No. 70, Edinburgh University, Edingurgh, 1974.

    Google Scholar 

  8. Minker, J. [1978] An Experimental Data Base System Based on Logic, in Logic and Data Bases (H. Gallaire and J. Minker, Eds,), Plenum Press, New York, 1978, 107–147.

    Google Scholar 

  9. Raver, N. and Hubbard, G. U. [1977] Automated Logical Data Base Design: Concepts and Applications, IBM Systems Journal 16, 3 (1977), 287–312.

    Article  Google Scholar 

  10. Robinson, J. A. [1965] Machine Oriented Logic Based on Resolution Principle, JACM 12, (1965), 23–44.

    Article  MATH  Google Scholar 

  11. Warren, D. [1974] “What is PROLOG”, Manuscript, University of Edinburgh, Edinburgh, 1974.

    Google Scholar 

  12. Warren, D. [1977] How Should Clauses in a Logic Data Base be Indexed, Proceedings of the Workshop on Logic and Data Bases, Toulouse, 1977, XX/1.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Plenum Press, New York

About this chapter

Cite this chapter

Futó, I., Darvas, F., Szeredi, P. (1978). The Application of Prolog to the Development of QA and DBM Systems. In: Gallaire, H., Minker, J. (eds) Logic and Data Bases. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-3384-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-1-4684-3384-5_13

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4684-3386-9

  • Online ISBN: 978-1-4684-3384-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics