1. Aït-Kaci, H.: Warren’s Abstract Machine. MIT Press, Cambridge (1991)
2. Lecture Notes in Computer Science;B. Demoen,1999
3. Dowd, T., Schachte, P., Henderson, F., Somogyi, Z.: Using impurity to create declarative interfaces in Mercury. Technical Report 2000/17, Department of Computer Science, University of Melbourne (2000), http://www.cs.mu.oz.au/research/mercury/information/papers.html
4. Lecture Notes in Artificial Intelligence;M.G. Banda la de,2000
5. Programming Systems Group. SICStus Prolog User’s Manual, release 3.11.0 edition (2003)