In this chapter, a short introduction to relational-functional programming and abstract machines is presented.
The reader is expected to be familiar with the concepts of logic programming
and functional programming. In [\protect\citeauthoryearLloyd1987],
an introduction
to logic programming, in [\protect\citeauthoryearWikstrøm1987]
,
an introduction to functional programming is given.