Abstract
Prolog was designed in the 1970s by Alain Colmerauer and a team of researchers with the idea – new at that time – that it was possible to use logic to represent knowledge and to write programs. More precisely, Prolog uses a subset of predicate logic and draws its structure from theoretical works of earlier logicians such as Herbrand (1930) and Robinson (1965) on the automation of theorem proving.
Prolog was originally intended for the writing of natural language processing applications. Because of its conciseness and simplicity, it became popular well beyond this domain and now has adepts in areas such as:
• Formal logic and associated forms of programming
• Reasoning modeling
• Database programming
• Planning, and so on.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). An Introduction to Prolog. In: An Introduction to Language Processing with Perl and Prolog. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-34336-9_16
Download citation
DOI: https://doi.org/10.1007/3-540-34336-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25031-9
Online ISBN: 978-3-540-34336-3
eBook Packages: Computer ScienceComputer Science (R0)