Skip to main content

Commercial applications of large Prolog knowledge bases

  • Conference paper
  • First Online:
Book cover Processing Declarative Knowledge (PDK 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 567))

Included in the following conference series:

Abstract

This paper describes a number of the high quality application programs that have been delivered to customers around the world using different versions of Prolog. These include systems which create legal documents, assembly instructions for jet aircraft, and work schedules in hospitals; and systems which help service engineers with telephone faults, interpret chromosomal abnormalities, and diagnose faults in electronic circuits. Each combines various forms of knowledge base with the procedures to apply them in a particular area. Different approaches are used in order to achieve the necessary efficiency, but a common factor appears to be a marked increase in both productivity when creating the application and in the adaptability of the finished product.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Moss [1991] Logic Programming Applications and Products. Report for the Central Computer and Telecommunications Agency, H.M. Treasury.

    Google Scholar 

  2. Prolog Development Center, ApS, H.J. Holst Vej 5A, DK-2605 Broendby, Denmark.

    Google Scholar 

  3. Quintus Corporation, 2100 Geng Road, California 94303, U.S.A.

    Google Scholar 

  4. Arity Corporation. 29 Domino Drive, Concord, MA 01742, U.S.A.

    Google Scholar 

  5. Logic Programming Associates. Studio 4, Royal Victoria Patriotic Building, Trinity Road, London SW18 6SX, U.K.

    Google Scholar 

  6. Clocksin, W.F. Logic Programming and Digital Circuit Analysis. Journal of Logic Programming, vol. 4. No. 1. pp59–82, 1987

    Article  Google Scholar 

  7. Jabri, M.A., Brel — A Prolog Knowledge-Based Systems Shell for VLSI CAD. 27th Design Automation Conference. IEEE CS Press, June 1990. pp272–277.

    Google Scholar 

  8. Reintjes, P.B. A Set of Tools for VHDL Design. Proc 8th Int. Conf. on Logic Programming. Cambridge, Mass: The M.I.T. Press. 1991.

    Google Scholar 

  9. Les techniques informatiques avancees et leurs applications. Dassault Electronique. Report NE 485 352. April 1991.

    Google Scholar 

  10. Delphia, 27 ave de la Republique, 38170 Seyssinet, France.

    Google Scholar 

  11. Computers and Biomedical Research 23,153–164 (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Harold Boley Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moss, C. (1991). Commercial applications of large Prolog knowledge bases. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013519

Download citation

  • DOI: https://doi.org/10.1007/BFb0013519

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55033-4

  • Online ISBN: 978-3-540-46667-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics