Hint

Swipe to navigate through the chapters of this book

2014 | OriginalPaper | Chapter

7. General Features of Logic Programming Languages

Author: Maribel Fernández

Publisher: Springer London

Published in: Programming Languages and Operational Semantics

» Get access to the full version

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.

Please log in to get access to this content

To get access to this content you need the following product:

Computer Science Explorer

Purchase now

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.

The predicate append is predefined in most Prolog implementations.

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)

Title

General Features of Logic Programming Languages

Book

Programming Languages and Operational Semantics

Print ISBN: 978-1-4471-6367-1

Electronic ISBN: 978-1-4471-6368-8

https://doi.org/10.1007/978-1-4471-6368-8

DOI

https://doi.org/10.1007/978-1-4471-6368-8_7

Author:

Maribel Fernández

Publisher

Springer London

Sequence number

Chapter number

Chapter 7