2  Introduction

1

2

1.
Logic Programming with Prolog. (Springer London, London, 2005). doi:10.1007/1-84628-212-8.
2.
Spivey, J. M. & Spivey, J. M. An Introduction to Logic Programming Through Prolog. (Prentice Hall, London, 1996).