An introduction to programming in Prolog - Saint-Dizier, Patrick, 1954- (Springer-Verlag, 1990)
Translation of: Initiation à la programmation en Prolog