Hint

Swipe to navigate through the chapters of this book

2014 | OriginalPaper | Chapter

8. Operational Semantics of Prolog

Author: Maribel Fernández

Publisher: Springer London

Published in: Programming Languages and Operational Semantics

» Get access to the full version

Abstract

In this chapter, we describe the operational interpretation of Prolog programs. More precisely, we describe how a Prolog interpreter solves goals in the context of a given program.

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

J.A. Robinson, A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23–41 (1965) CrossRefMATH

A. Martelli, U. Montanari, An efficient unification algorithm. Trans. Program. Lang. Syst. 4(2), 258–282 (1982) CrossRefMATH

P. Blackburn, J. Bos, K. Striegnitz, Learn Prolog now, Texts in Computing (Vol. 7) (College Publications, 2007)

C.J. Hogger, Introduction to Logic Programming, APIC Studies in Data Processing (Academic Press, London, 1984) MATH

W.F. Clocksin, C.S. Mellish, Programming in Prolog, 4th edn. (Springer, New York, 1994) CrossRefMATH

P. Roussel, PROLOG: Manuel de Référence et d’utilisation. Research Report, Artificial Intelligence Team, University of Aix-Marseille, France (1975)

Title

Operational Semantics of Prolog

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_8

Author:

Maribel Fernández

Publisher

Springer London

Sequence number

Chapter number

Chapter 8