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.
Preview
Unable to display preview. Download preview PDF.
References
C. Moss [1991] Logic Programming Applications and Products. Report for the Central Computer and Telecommunications Agency, H.M. Treasury.
Prolog Development Center, ApS, H.J. Holst Vej 5A, DK-2605 Broendby, Denmark.
Quintus Corporation, 2100 Geng Road, California 94303, U.S.A.
Arity Corporation. 29 Domino Drive, Concord, MA 01742, U.S.A.
Logic Programming Associates. Studio 4, Royal Victoria Patriotic Building, Trinity Road, London SW18 6SX, U.K.
Clocksin, W.F. Logic Programming and Digital Circuit Analysis. Journal of Logic Programming, vol. 4. No. 1. pp59–82, 1987
Jabri, M.A., Brel — A Prolog Knowledge-Based Systems Shell for VLSI CAD. 27th Design Automation Conference. IEEE CS Press, June 1990. pp272–277.
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.
Les techniques informatiques avancees et leurs applications. Dassault Electronique. Report NE 485 352. April 1991.
Delphia, 27 ave de la Republique, 38170 Seyssinet, France.
Computers and Biomedical Research 23,153–164 (1990)
Author information
Authors and Affiliations
Editor information
Rights 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