Abstract
We have already discussed two approaches to programming: the imperative and the functional programming paradigms. If we had to single out one major difference between functional and imperative programs, we could perhaps say that functional programs are concerned with what needs to be computed whereas imperative programs specify how to compute it.
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 subscriptionsNotes
- 1.
In some versions of Prolog the word prolog is reserved, therefore to run this example you might need to replace prolog by myprolog for instance.
- 2.
The predicate append is predefined in most Prolog implementations.
References
J.A. Robinson, A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23–41 (1965)
P. Roussel, PROLOG: Manuel de référence et d’utilisation. Research report, Artificial Intelligence Team, University of Aix-Marseille, France, 1975
C.J. Hogger, Introduction to Logic Programming. APIC Studies in Data Processing. Academic Press, Massachusetts, 1984
W.F. Clocksin, C.S. Mellish, Programming in Prolog. 4th edn. (Springer, Heidelberg, 1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer-Verlag London
About this chapter
Cite this chapter
Fernández, M. (2014). General Features of Logic Programming Languages. In: Programming Languages and Operational Semantics. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-6368-8_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-6368-8_7
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-6367-1
Online ISBN: 978-1-4471-6368-8
eBook Packages: Computer ScienceComputer Science (R0)