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.